Backup diff of Download(No. 17)

The added line is THIS COLOR.
The deleted line is THIS COLOR.
// [[LMNtal]]

// #counter

*Downloading LaViT: LMNtal Visual Tools

>>&ref(editor1.png,40%,around);

''We suggest that an LMNtal user [[download &size(18){LaViT};>http://www.ueda.info.waseda.ac.jp/lmntal/lavit/index.php?Download]] (formerly called LMNtalEditor), an integrated development environment (IDE) for LMNtal.''
LaViT comes with the whole family of LMNtal subsystems (compiler, runtime, model checker, and visualizer) and is the simplest choice.
The simplest way to get started with LMNtal is to ''[[download &size(18){LaViT};>http://www.ueda.info.waseda.ac.jp/lmntal/lavit/index.php?Download]]'' (formerly called LMNtalEditor), an integrated development environment (IDE) for LMNtal.
LaViT comes with the whole family of LMNtal subsystems: compiler, runtime, model checker, and visualizer.

//Click [['''''HERE'''''>http://www.ueda.info.waseda.ac.jp/lmntal/lavit///index.php?Download]] to download the latest version of the LaViT system.

*Downloading the LMNtal Family

If you wish to use the LMNtal compiler and runtimes as stand-alone software,
please download one or more of the following.

Downloading LMNtal Java
-LMNtal Java is an LMNtal compiler and a runtime written in Java.
-Click [[''here''>LMNtalJava]] to download the latest version of the LMNtal Java system.

Downloading SLIM
-SLIM is a lightweight LMNtal runtime written in C, which features non-deterministic search and model checking.  When given an LMNtal source file, SLIM internally calls LMNtal Java's compiler to generate intermediate code.
-Click [[''here'':http://code.google.com/p/slim-runtime]]
for more information and to download the latest version of the SLIM system.

Downloading UNYO-UNYO
-UNYO-UNYO is an LMNtal Visualizer.
-Click [[''here''>UNYO-UNYO]] to download the latest version of UNYO-UNYO.
Backup diff of Download (No. 17)
