Download LMNtalEditor
[ Download ] latest version : 1.0.0
&ref(): The style ref(filename,pagename) is ambiguous and become obsolete. Please try ref(pagename/filename);
Start LMNtalEditor
- Unzip download file. (Please do not include space in your directory name.)
ok: C:\LMNtalEditor1_0_0\
ng: C:\Documents and Settings\LMNtalEditor1_0_0\
- If you need, install Java(all) and Cygwin(only windows).
- Download ltl2ba.
- Open the archive and move to LMNtalEditor1_0_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")
System Requirements
- Windows
- Java Runtime Environment(JRE), version 1.6 or higher.
- Cygwin(gcc)
- Linux
- Java Runtime Environment(JRE), version 1.6 or higher.
- gcc
&ref(): The style ref(filename,pagename) is ambiguous and become obsolete. Please try ref(pagename/filename);