Skip to topic | Skip to bottom
Home
Mizar

edit

Mizar.SimpleVocabularyToolsr1.2 - 23 Oct 2006 - 21:32 - JosefUrbantopic end
Start of topic | Skip to actions

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

to top
End of topic
Skip to action links | Back to top

WebForm
TopicClassification: MizarTools
ProjectGroup?:  
ImplementationDate?: N/A

I Attachment sort Action Size Date Who Comment
mizutils.jar manage 18.4 K 20 Jul 2005 - 19:03 MichaelNedzelsky Binary + Sources for Simple Vocabulary Tools

Edit | Attach image or document | Printable version | Raw text | More topic actions
Revisions: | r1.2 | > | r1.1 | Total page history | Backlinks
You are here: Mizar > SimpleVocabularyTools

to top

Copyright © 1999-2008 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Mizar TWiki? Send feedback