* Download LMNtalEditor
* Download LaViT

[ Download ] latest version : 0.9.1~
[ Download ] [[Download>http://www.ueda.info.waseda.ac.jp/lmntal/lmntaleditor/index.php?Download]]

[ For WindowsVista ]~
unzip and replace with lmntal/bin/slim.exe
* Start LaViT
+Unzip the download file. (Please do not include space in your directory name.)
 ok: C:\LaViTx_y_z\
 ng: C:\Documents and Settings\LaViTx_y_z\
+If necessary, install Java and Cygwin (on Windows) (see System Requirements below).
+Download [[ltl2ba>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php]] and move ltl2ba-1.1.tar.gz to LaViTx_y_z/lmntal/.
 > mv ltl2ba-1.1.tar.gz LaViTx_y_z/lmntal/
+Click the LaVit.jar file (or input "java -jar LaViT.jar") and follow the instructions to install SLIM.

* Start LMNtalEditor
1. Unzip download file.
*System Requirements

2. in cygwin
 $ cd LMNtalEditor/
 $ ./run.bat
 java -jar LMNtalEditor.jar
--Java Runtime Environment(JRE), version 1.6 or higher.

--Java Runtime Environment(JRE), version 1.6 or higher.


Front page List of pages Search Recent changes Backup   Help   RSS of recent changes