現在の位置
backup プラグインを使用中
- List of Backups
- View the diff current.
- View the source.
- View the backup.
- Go to Download.
- 1 (2010-02-11 (Thu) 16:04:50)
- 2 (2010-04-22 (Thu) 03:15:52)
- 3 (2010-04-22 (Thu) 03:19:20)
- 4 (2010-05-25 (Tue) 10:08:20)
- 5 (2010-06-10 (Thu) 08:51:25)
- 6 (2010-07-05 (Mon) 07:38:07)
- 7 (2010-07-12 (Mon) 08:20:27)
- 8 (2010-07-12 (Mon) 08:20:27)
- 9 (2010-10-18 (Mon) 18:18:37)
- 10 (2010-10-25 (Mon) 16:54:29)
- 11 (2011-01-12 (Wed) 19:01:20)
- 12 (2011-03-24 (Thu) 08:23:28)
- 13 (2011-08-08 (Mon) 07:48:41)
- 14 (2011-12-16 (Fri) 12:00:31)
- 15 (2012-04-03 (Tue) 14:23:40)
- 16 (2012-04-09 (Mon) 23:09:32)
- 17 (2012-05-10 (Thu) 06:15:05)
- 18 (2012-05-21 (Mon) 09:23:49)
- 19 (2012-08-10 (Fri) 01:38:42)
- 20 (2012-10-21 (Sun) 15:15:54)
- 21 (2012-10-26 (Fri) 11:02:22)
- 22 (2012-11-23 (Fri) 08:49:20)
- 23 (2013-02-27 (Wed) 06:56:12)
- 24 (2013-10-13 (Sun) 22:08:56)
- 25 (2013-11-15 (Fri) 00:23:17)
- 26 (2014-06-01 (Sun) 12:32:20)
- 27 (2014-06-01 (Sun) 12:49:50)
- 28 (2015-04-07 (Tue) 04:57:52)
- 29 (2015-04-07 (Tue) 05:46:17)
- 30 (2015-04-15 (Wed) 07:21:09)
- 31 (2015-04-27 (Mon) 04:40:10)
- 32 (2015-10-26 (Mon) 09:18:26)
- 33 (2015-10-31 (Sat) 15:54:50)
- 34 (2015-10-31 (Sat) 21:49:38)
- 35 (2017-03-02 (Thu) 05:38:19)
- 36 (2017-08-02 (Wed) 08:37:06)
- 37 (2019-04-29 (Mon) 03:08:14)
- 38 (2019-07-15 (Mon) 15:24:06)
- 39 (2019-12-03 (Tue) 08:18:12)
- 40 (2020-04-04 (Sat) 11:46:26)
- 41 (2020-04-04 (Sat) 11:46:26)
- 42 (2022-12-30 (Fri) 01:58:30)
- 43 (2022-12-31 (Sat) 16:07:52)
- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
LaViT is an integrated development environment (IDE) for LMNtal. LaViT contains all LMNtal Family. LaViT is an integrated development environment (IDE) for LMNtal. LaViT contains all the LMNtal Family (compiler, runtime and visualizers). * Download LaViT [#h5827877] [ Download ] latest stable version : 2.4.4~ [[LaViT2_4_4.zip>http://lavit.googlecode.com/files/LaViT2_4_4.zip]] [ Download ] latest experimental version : 2.5.1~ [[LaViT2_5_1.zip>http://lavit.googlecode.com/files/LaViT2_5_1.zip]] * Start LaViT [#b8ea78c1] +Unzip download file. (Please do not include space in your directory name.) +Unzip the download file. (Please do not include spaces in your directory name.) ok: C:\LaViTx_y_z\ ng: C:\Documents and Settings\LaViTx_y_z\ +If you need, install Java(all) and Cygwin(only windows). +Make sure that you have Java (all users) and Cygwin (Windows users) installed. +Download [[ltl2ba>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php]]. +Open the archive and move to LaViTx_y_z/lmntal/. +Open the archive and move it to LaViTx_y_z/lmntal/. > gunzip ltl2ba-1.1.tar.gz > tar xf ltl2ba-1.1.tar > mv ltl2ba-1.1/ LaViTx_y_z/lmntal/ +Click the LaViT.jar file. (or input "java -jar LaViT.jar") +Click the LaViT.jar file. (or type "java -jar LaViT.jar") +LaViT will ask you to install SLIM (the LMNtal runtime) from the source. In case this ends with an error, please contact the developer (lmntal -a- ueda -d- info -d- waseda -d- ac -d- jp) . *System Requirements [#u504500c] -Windows --Java Runtime Environment(JRE), version 1.6 or higher. --Cygwin(gcc,bison,flex) --Java Runtime Environment (JRE), version 1.6 or higher. --Cygwin (gcc, bison, flex) -Mac --Java Runtime Environment(JRE), version 1.6 or higher. --Xcode(gcc,bison,flex) --Java Runtime Environment (JRE), version 1.6 or higher. --Xcode (gcc, bison, flex) -Linux --Java Runtime Environment(JRE), version 1.6 or higher. --gcc,bison,flex --Java Runtime Environmen t(JRE), version 1.6 or higher. --gcc, bison, flex -Recommendation -Recommended --Java3D