- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
* Download LMNtalEditor
[ Download ] latest version : 0.9.1~
&ref(LMNtalEditor0_9_1.zip,LMNtalEditor0_9_1.zip);
[ Download ] latest version : 0.9.7~
&ref(LMNtalEditor0_9_7.zip,LMNtalEditor0_9_7.zip);
[ For WindowsVista ]~
&ref(WindowsVista_slim.zip,WindowsVista_slim.zip);~
unzip and replace with lmntal/bin/slim.exe
* Start LMNtalEditor
1. Unzip download file.
+Unzip download file.
+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")
2. in cygwin
$ cd LMNtalEditor/
$ ./run.bat
java -jar LMNtalEditor.jar