You can execute this application from the command line:

java -cp mizutils.jar org.mizarutils.GUI
The 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
Topic attachments
I Attachment Action Size Date Who Comment
elsejar mizutils.jar manage 18.4 K 2005-07-20 - 19:03 MichaelNedzelsky Binary + Sources for Simple Vocabulary Tools
Topic revision: r2 - 2006-10-23 - 21:32:11 - JosefUrban
 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback