Download LMNtalEditor
[ Download ] latest version : 1.1.2
&ref(): The style ref(filename,pagename) is ambiguous and become obsolete. Please try ref(pagename/filename);
[ new ] Version 1.3.0 is coming soon.
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.
- 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