Backup diff of Download vs current(No. 6)

The added line is THIS COLOR.
The deleted line is THIS COLOR.
#author("2017-03-02T14:03:08+09:00","default:LMNtal","LMNtal")
// [[LMNtal]]

// #counter

*Downloading LMNtal IDE
*Downloading LaViT:  LMNtal Visual Tools (recommended) [#ke9e7abc]

&ref(editor1.png,30%);
-LMNtal Editor is an integrated development environment (IDE) for LMNtal.
-LMNtal Editor contains all LMNtal Family.
-Click [[''here''>LMNtalEditor]] to download the latest version of the LMNtalEdior system.
The simplest way to get started with LMNtal is to ''[[download LaViT (click here)>http://www.ueda.info.waseda.ac.jp/lmntal/lavit/index.php?Download]]'', an integrated development environment (IDE) for LMNtal.
LaViT comes with the whole family of LMNtal subsystems: compiler, runtime, model checker, and visualizer.

*Downloading LMNtal Family

Downloading LMNtal Java
-LMNtal Java is a LMNtal compiler and runtime written in Java.
-Click [[''here''>LMNtalJava]] to download the latest version of the LMNtal Java system.
>>&ref(./editor1.png,40%,around);

Downloading SLIM
-SLIM is a lightweight LMNtal runtime written in C.
-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 the LMNtal Visualizer.
-Click [[''here''>UNYO-UNYO]] to download the latest version of UNYO-UNYO.
//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 [#ie8f3d9a]

If you wish to use different versions of the LMNtal compiler and runtime,
please download one or more of the following.

//- LMNtal Java, an LMNtal compiler and a runtime written in Java.[[''[download]''>LMNtalJava]]
- LMNtal compiler written in Java 
[[''[download from github]''>https://github.com/lmntal/lmntal-compiler]]

//- SLIM, a lightweight LMNtal runtime [[''[download]'':http://code.google.com/p/slim-runtime]]
- SLIM, a lightweight LMNtal runtime at  [[''[download from github]''>https://github.com/lmntal/slim]]
--An LMNtal runtime written in C, which features nondeterministic search, model checking, and hypergraphs.  When given an LMNtal source file, SLIM internally calls an LMNtal compiler to generate intermediate code.

- UNYO-UNYO, an LMNtal graph visualizer. [[''[download]''>UNYO-UNYO]]