- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
* Download LMNtalEditor
[ Download ] latest version : 1.3.1~
&ref(LMNtalEditor1_3_1.zip,LMNtalEditor1_3_1.zip);
[ Download ] [[Download>http://www.ueda.info.waseda.ac.jp/lmntal/lmntaleditor/index.php?Download]]
* Start LMNtalEditor
+Unzip the download file. (Please do not include space in your directory name.)
ok: C:\LMNtalEditorX_Y_Z\
ng: C:\Documents and Settings\LMNtalEditorX_Y_Z\
+If necessary, install Java and Cygwin (on Windows) (see System Requirements below).
+Download [[ltl2ba>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php]] and move ltl2ba-1.1.tar.gz to LMNtalEditorX_Y_Z/lmntal/.
> mv ltl2ba-1.1.tar.gz LMNtalEditorX_Y_Z/lmntal/
+Click the LMNtalEditor.jar file (or input "java -jar LMNtalEditor.jar") and follow the instructions to install SLIM.
*System Requirements
-Windows
--Java Runtime Environment(JRE), version 1.6 or higher.
--Cygwin(gcc,bison,flex)
-Linux
--Java Runtime Environment(JRE), version 1.6 or higher.
--gcc,bison,flex
-----------------------------
//&ref(source.zip,source.zip);