- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
// [[LMNtal]]
// #counter
*Downloading LMNtal IDE
&ref(editor1.png,30%);
>>&ref(editor1.png,35%,around);
-LMNtal Editor is an integrated development environment (IDE) for LMNtal.
-LMNtal Editor contains all LMNtal Family.
-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
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 a LMNtal compiler and runtime written in 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.
-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.
for more information and to download the latest version of the SLIM system.
Downloading UNYO-UNYO
-UNYO-UNYO is the LMNtal Visualizer.
-UNYO-UNYO is an LMNtal Visualizer.
-Click [[''here''>UNYO-UNYO]] to download the latest version of UNYO-UNYO.