LMNtalEditor
[
Front page
|
List of pages
|
Search
|
Recent changes
|
Backup
|
Help
]
Start:
* Download LaViT
[ Download ] [[Download>http://www.ueda.info.waseda.ac.jp...
* Start LaViT
+Unzip the download file. (Please do not include space in...
ok: C:\LaViTx_y_z\
ng: C:\Documents and Settings\LaViTx_y_z\
+If necessary, install Java and Cygwin (on Windows) (see ...
+Download [[ltl2ba>http://www.lsv.ens-cachan.fr/~gastin/l...
> mv ltl2ba-1.1.tar.gz LaViTx_y_z/lmntal/
+Click the LaVit.jar file (or input "java -jar LaViT.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
-----------------------------
//&ref(source.zip,source.zip);
End:
* Download LaViT
[ Download ] [[Download>http://www.ueda.info.waseda.ac.jp...
* Start LaViT
+Unzip the download file. (Please do not include space in...
ok: C:\LaViTx_y_z\
ng: C:\Documents and Settings\LaViTx_y_z\
+If necessary, install Java and Cygwin (on Windows) (see ...
+Download [[ltl2ba>http://www.lsv.ens-cachan.fr/~gastin/l...
> mv ltl2ba-1.1.tar.gz LaViTx_y_z/lmntal/
+Click the LaVit.jar file (or input "java -jar LaViT.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
-----------------------------
//&ref(source.zip,source.zip);
Page: