現在の位置
backup プラグインを使用中
- List of Backups
- View the source.
- View the backup.
- English Document has been deleted.
- 1 (2009-11-24 (Tue) 09:06:49)
- 2 (2009-11-24 (Tue) 09:12:06)
- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
English Document * LMNtalEditor [#t77a1cd0] - 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 [#b8ea78c1] +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>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php]]. +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 [#u504500c] -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