現在の位置
diff プラグインを使用中
- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
- English Document has been deleted.
- Deleting diff of English Document
* Download LMNtalEditor [#h5827877] [ Download ] latest version : 1.3.3~ &ref(LMNtalEditor1_3_3.zip); * About 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