• List of Backups
• View the diff.
• View the diff current.
• View the backup.
• Go to English.
  • 1 (2009-11-24 (Tue) 08:41:23)
  • 2 (2010-02-11 (Thu) 16:14:25)
  • 3 (2010-04-13 (Tue) 08:40:01)
  • 4 (2010-04-13 (Tue) 12:25:15)
  • 5 (2010-04-21 (Wed) 12:53:53)

LMNtalEditor is an integrated development environment (IDE) for LMNtal. LMNtalEditor contains all LMNtal Family.

* Download LMNtalEditor [#h5827877]

[ Download ] latest version : 1.3.5~
&ref(LMNtalEditor1_3_5.zip);

* Start LMNtalEditor [#b8ea78c1]

+Unzip 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 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 LMNtalEditorX_Y_Z/lmntal/.
 > gunzip ltl2ba-1.1.tar.gz
 > tar xf ltl2ba-1.1.tar
 > mv ltl2ba-1.1/ LMNtalEditorX_Y_Z/lmntal/
+Click the LMNtalEditor.jar file. (or input "java -jar LMNtalEditor.jar")


*System Requirements [#u504500c]

-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