- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
* Download LMNtalEditor
[ Download ] latest version : 1.0.2~
&ref(LMNtalEditor1_0_2.zip,LMNtalEditor1_0_2.zip);
[ Download ] latest version : 1.1.2~
&ref(LMNtalEditor1_1_2.zip,LMNtalEditor1_1_2.zip);
* Start LMNtalEditor
+Unzip download file. (Please do not include space in your directory name.)
ok: C:\LMNtalEditor1_0_0\
ng: C:\Documents and Settings\LMNtalEditor1_0_0\
+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 LMNtalEditor1_0_0/lmntal/.
> gunzip ltl2ba-1.1.tar.gz
> tar xf ltl2ba-1.1.tar
> mv ltl2ba-1.1/ LMNtalEditor1_0_0/lmntal/
+Click the LMNtalEditor.jar file. (or input "java -jar LMNtalEditor.jar")
*System Requirements
-Windows
--Java Runtime Environment(JRE), version 1.6 or higher.
--Cygwin(gcc)
--Cygwin(gcc,bison,flex)
-Linux
--Java Runtime Environment(JRE), version 1.6 or higher.
--gcc
--gcc,bison,flex
-----------------------------
&ref(source.zip,source.zip);
//&ref(source.zip,source.zip);