現在の位置
backup プラグインを使用中
- List of Backups
- View the diff.
- View the diff current.
- 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)
- 44 (2023-06-02 (Fri) 04:36:38)
- 45 (2024-06-17 (Mon) 06:45:33)
LaViT is an integrated development environment (IDE) for LMNtal. LaViT contains all the LMNtal Family (compiler, runtime and visualizers). * Download LaViT [#h5827877] ** Bundle Packages [#g5cc21eb] LaViT IDE + LMNtal compiler, SLIM LMNtal runtime source code, sample programs, and more. - Latest Releases -- [[LaViT-2.8.8-bundle.zip:http://www.ueda.info.waseda.ac.jp/~yoshimoto/lavit/LaViT-2.8.8-bundle.zip]] (2015-04-27) &color(#ff3333){NEW}; - Older Releases -- &ref(./LaViT-2.8.6-bundle.zip,nolink); (2014-05-31) -- [[LaViT-2.8.0-bundle.zip:http://lavit.googlecode.com/files/LaViT-2.8.0-bundle.zip]] (2013-11-15) -- [[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 packages. - Latest Releases -- [[LaViT-2.8.2.jar:http://www.ueda.info.waseda.ac.jp/~shinobu/lavit/releases/LaViT-2.8.2.jar]] (2014-02-11) &color(#ff3333){NEW}; -- [[LaViT-2.8.1.jar:http://www.ueda.info.waseda.ac.jp/~shinobu/lavit/releases/LaViT-2.8.1.jar]] (2014-02-10) -- [[LaViT-2.8.0.jar:http://www.ueda.info.waseda.ac.jp/~shinobu/lavit/releases/LaViT-2.8.0.jar]] (2013-11-15) * Starting LaViT [#b8ea78c1] +Unzip the download file. Please do not include spaces in your directory name. Windows users should unzip the file using Windows' unzip feature, not Cygwin's unzip. 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/ as ltl2ba. > gunzip ltl2ba-1.x.tar.gz > tar xf ltl2ba-1.x.tar > mv ltl2ba-1.x/ LaViTx_y_z/lmntal/ltl2ba +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, autoconf) --ruby (>=1.9) and rubygems -Mac --Java Runtime Environment (JRE), version 1.6 or higher. --Xcode (gcc, bison, flex, autoconf) --ruby (>=1.9) -Linux --Java Runtime Environment (JRE), version 1.6 or higher. --gcc, bison, flex, autoconf --ruby (>=1.9) -Recommended --Java3D