現在の位置
backup プラグインを使用中
- List of Backups
- View the source.
- English Document has been deleted.
- 1 (2009-11-24 (Tue) 09:06:49)
- 2 (2009-11-24 (Tue) 09:12:06)
LMNtalEditor? †
- LMNtalEditor? is an integrated development environment (IDE) for LMNtal.
- LMNtalEditor? contains all LMNtal Family.
- Click here to download the latest version of the LMNtalEdior? system.
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