現在の位置
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 the LMNtal Family (compiler, runtime and visualizers). LaViT is an integrated development environment (IDE) for LMNtal. LaViT contains all the LMNtal Family (compiler, runtime and visualizers). * Download LaViT [#h5827877] ** Bundle Package [#g5cc21eb] LaViT IDE + LMNtal compiler, SLIM LMNtal runtime source code, sample programs, and more. - Latest Releases -- Latest Version: --- [[LaViT2_7_1.zip:http://lavit.googlecode.com/files/LaViT2_7_1.zip]] (2013-09-29) &color(#ff3333){NEW}; --- [[LaViT-2.8.0-bundle.zip:http://lavit.googlecode.com/files/LaViT-2.8.0-bundle.zip]] (2013-11-15) &color(#ff3333){NEW}; -- Latest Stable Versions: --- [[LaViT2_7_1.zip:http://lavit.googlecode.com/files/LaViT2_7_1.zip]] (2013-09-29) --- [[LaViT2_6_2.zip:http://lavit.googlecode.com/files/LaViT2_6_2.zip]] (2013-02-27) --- [[LaViT2_6_1.zip:http://lavit.googlecode.com/files/LaViT2_6_1.zip]] (2012-11-23) -Older Releases --[[LaViT2_6_0.zip:http://lavit.googlecode.com/files/LaViT2_6_0.zip]] (2012-10-25) --[[LaViT2_5_3.zip:http://lavit.googlecode.com/files/LaViT2_5_3.zip]] (2012-08-10) --[[LaViT2_5_2.zip:http://lavit.googlecode.com/files/LaViT2_5_2.zip]] (2012-05-27) --[[LaViT2_4_5.zip:http://lavit.googlecode.com/files/LaViT2_4_5.zip]] (2011-12-16) --[[LaViT2_4_4.zip:http://lavit.googlecode.com/files/LaViT2_4_4.zip]] (2011-08-08) ** LaViT IDE [#n4346f34] For substituting older LaViT.jar in bundle package. - Latest Releases -- [[LaViT-2.8.0.jar:http://www.ueda.info.waseda.ac.jp/~shinobu/lavit/releases/LaViT-2.8.0.jar]] (2013-11-15) &color(#ff3333){NEW}; * Start LaViT [#b8ea78c1] +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\ +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 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 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) -Mac --Java Runtime Environment (JRE), version 1.6 or higher. --Xcode (gcc, bison, flex) -Linux --Java Runtime Environmen t(JRE), version 1.6 or higher. --gcc, bison, flex -Recommended --Java3D