現在の位置
backup プラグインを使用中
- List of Backups
- View the diff.
- View the diff current.
- View the source.
- 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? †
[ Download ] latest version : 1.3.3
LMNtalEditor1_3_3.zip
Start LMNtalEditor? †
- 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.
- 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 †
- 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