Backup diff of Download vs current(No. 7)

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,35%,around);
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.

-LMNtal Editor is an integrated development environment (IDE) for LMNtal.
-LMNtal Editor contains all the LMNtal Family (compiler, runtime, model checker, and visualizer), so '''this is the right choice for most LMNtal users.'''
-Click [[''here''>LMNtalEditor]] to download the latest version of the LMNtalEdior system.

*Downloading LMNtal Family
>>&ref(./editor1.png,40%,around);

If you wish to use the LMNtal compiler and runtimes as stand-alone software,

//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.

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.
//- 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]]

Downloading SLIM
-SLIM is a lightweight LMNtal runtime written in C, which features non-deterministic search and model checking.
-Click [[''here'':http://code.google.com/p/slim-runtime]]
for more information and to download the latest version of the SLIM system.
//- 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.

Downloading UNYO-UNYO
-UNYO-UNYO is an LMNtal Visualizer.
-Click [[''here''>UNYO-UNYO]] to download the latest version of UNYO-UNYO.
- UNYO-UNYO, an LMNtal graph visualizer. [[''[download]''>UNYO-UNYO]]