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