Backup source of LMNtalEditor(No. 11)

List of Backups
View the diff.
View the diff current.
View the backup.
Go to LMNtalEditor.

* Download LMNtalEditor

[ Download ] latest version : 1.3.0~
&ref(LMNtalEditor1_3_0.zip,LMNtalEditor1_3_0.zip);

* Start LMNtalEditor
+Unzip the download file. (Please do not include space in your directory name.)
 ok: C:\LMNtalEditor1_3_0\
 ng: C:\Documents and Settings\LMNtalEditor1_3_0\
+If necessary, install Java and Cygwin (on Windows) (see System Requirements below).
+Download [[ltl2ba>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php]].
+Open the archive and move to LMNtalEditor1_3_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") 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);

Backup source of LMNtalEditor (No. 11)