* Download LMNtalEditor

[ Download ] latest version : 0.9.7~
&ref(LMNtalEditor0_9_7.zip,LMNtalEditor0_9_7.zip);

* Start LMNtalEditor
+Unzip download file. (Please do not include space in your directory name.)
 ok: C:\LMNtalEditor0_9_7\
 ng: C:\Documents and Settings\LMNtalEditor0_9_7\
+If you need, install Java(all) and Cygwin(only windows).
+Download [[ltl2ba>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php]].
+Open the archive and move to LMNtalEditor0_9_7/lmntal/.
 > gunzip ltl2ba-1.1.tar.gz
 > tar xf ltl2ba-1.1.tar
 > mv ltl2ba-1.1/ LMNtalEditor0_9_7/lmntal/
+Click the LMNtalEditor.jar file. (or input "java -jar LMNtalEditor.jar")

-----------------------------
&ref(source.zip,source.zip);


Front page List of pages Search Recent changes Backup   Help   RSS of recent changes