• List of Backups
• View the diff.
• View the diff current.
• View the source.
• 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 †

Bundle Packages †

LaViT IDE + LMNtal compiler, SLIM LMNtal runtime source code, sample programs, and more.

• Latest Releases
  • LaViT-2.8.8-bundle.zip (2015-10-31) NEW
• Older Releases
  • LaViT-2.8.6-bundle.zip (2014-05-31)
  • LaViT-2.8.0-bundle.zip (2013-11-15)
  • LaViT2_7_1.zip (2013-09-29)
  • LaViT2_6_2.zip (2013-02-27)
  • LaViT2_6_0.zip (2012-10-25)

LaViT IDE †

For substituting older LaViT.jar in bundle packages.

• Latest Releases
  • LaViT-2.8.2.jar (2014-02-11) NEW
  • LaViT-2.8.1.jar (2014-02-10)
  • LaViT-2.8.0.jar (2013-11-15)

Starting LaViT †

1. 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\

2. Make sure that you have Java (all users) and Cygwin (Windows users) installed.
3. Download ltl2ba.
4. 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

5. Click the LaViT.jar file. (or type "java -jar LaViT.jar")
6. 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 †

• Windows
  • Java Runtime Environment (JRE), version 1.6 or higher.
  • Cygwin (g++, bison, flex, automake, autoconf)
  • ruby (>=1.9) and rubygems

• Mac
  • Java Runtime Environment (JRE), version 1.6 or higher.
  • Xcode (g++, bison, flex, automake, autoconf)
  • ruby (>=1.9)

• Linux
  • Java Runtime Environment (JRE), version 1.6 or higher.
  • g++, bison, flex, automake, autoconf
  • ruby (>=1.9)

• Recommended
  • Java3D