You can execute this application from the command line:
java -cp mizutils.jar org.mizarutils.GUIThe application take the value of MIZFILES environment variable to determine the path to Mizar directory. You can tell the path to Mizar directory as the first argument:
java -cp mizutils.jar org.mizarutils.GUI c:/mizar-- MichaelNedzelsky - 20 Jul 2005
- mizutils.jar: Binary + Sources for Simple Vocabulary Tools
| WebForm | |
|---|---|
| TopicClassification | MizarTools |
| ProjectGroup? | |
| ImplementationDate? | N/A |
| I | Attachment | Action | Size | Date | Who | Comment |
|---|---|---|---|---|---|---|
 jar |
mizutils.jar | manage | 18.4 K | 2005-07-20 - 19:03 | MichaelNedzelsky | Binary + Sources for Simple Vocabulary Tools |
Edit | Attach | Print version | History: r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r2 - 2006-10-23 - 21:32:11 - JosefUrban
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback