The lastest version of the LMNtal system can be downloaded by clicking here.
You can try the beta release of the newer version.
This is a single lmntal.jar (Java archive) file and can be invoked by typing
java -jar lmntal.jar [options...] [files...]
under Java JDK 1.4 or higher.
If no LMNtal source files are provivided, the system enters the interactive mode.
See the How to Use page for command-line options.
Some library modules and sample programs can be downloaded from here. This archive is delivered as-is and may contain programs that require modification to be run under the latest release of LMNtal.
You can find some simple sample programs in the Example Programs page.
Run the command
lynx -source http://www.ueda.info.waseda.ac.jp/lmntal/install.sh | sh
This will make lmntal_tmp and download files and immediately run a demo program.