LMNtalJava
[
Front page
|
List of pages
|
Search
|
Recent changes
|
Backup
|
Help
]
Start:
// [[LMNtal]]
// #counter
*System Requirements
The LMNtal system runs on virtually any platform
(including Windows, Cygwin, and UNIX/Linux) running the
Java Development Kit (JDK) or the Java Runtime Environmen...
version 1.6 or higher.
To use ''lmnc'' and ''lmnr'' commands (see [[How to Use]]...
the LMNtal compiler. Otherwise, JRE should be fine.
*Downloading LMNtal
Click [[''here'':http://www.ueda.info.waseda.ac.jp/lmntal...
to download the latest version (1.21.20111226) of the LMN...
This version supports compilation into Java.
//- The version 0.7 (and up)
//supports compilation into Java.
//- The version 0.8 (and up) supports
//nondeterministic execution mode that explores all reduc...
In case you
encounter a problem, [[here:http://www.ueda.info.waseda.a...
The old, interpreter version coming as a single .jar file
is still available from the [[Download Interpreter]] page.
*Installation
Create a new folder/directory (referred to as $LMNTAL_HOM...
this online manual) and expand the downloaded .zip file t...
That's all!
'''Note''': The $LMNTAL_HOME folder should '''not''' be ...
"Documents and Settings", "My Documents", or any other fo...
whose name contains white spaces.
Three subdirectories, ''bin'', ''lib'', and ''sample'' wi...
-The ''bin'' subdirectory contains the system (.jar file)...
shellscripts for Windows, Cygwin and UNIX/Linux.
-The ''lib'' subdirectory contains the library API (sourc...
-The ''sample'' subdirectory contains program examples.
Please note that the API and examples are constantly grow...
Now proceed to the [[How to Use]] page and enjoy.
End:
// [[LMNtal]]
// #counter
*System Requirements
The LMNtal system runs on virtually any platform
(including Windows, Cygwin, and UNIX/Linux) running the
Java Development Kit (JDK) or the Java Runtime Environmen...
version 1.6 or higher.
To use ''lmnc'' and ''lmnr'' commands (see [[How to Use]]...
the LMNtal compiler. Otherwise, JRE should be fine.
*Downloading LMNtal
Click [[''here'':http://www.ueda.info.waseda.ac.jp/lmntal...
to download the latest version (1.21.20111226) of the LMN...
This version supports compilation into Java.
//- The version 0.7 (and up)
//supports compilation into Java.
//- The version 0.8 (and up) supports
//nondeterministic execution mode that explores all reduc...
In case you
encounter a problem, [[here:http://www.ueda.info.waseda.a...
The old, interpreter version coming as a single .jar file
is still available from the [[Download Interpreter]] page.
*Installation
Create a new folder/directory (referred to as $LMNTAL_HOM...
this online manual) and expand the downloaded .zip file t...
That's all!
'''Note''': The $LMNTAL_HOME folder should '''not''' be ...
"Documents and Settings", "My Documents", or any other fo...
whose name contains white spaces.
Three subdirectories, ''bin'', ''lib'', and ''sample'' wi...
-The ''bin'' subdirectory contains the system (.jar file)...
shellscripts for Windows, Cygwin and UNIX/Linux.
-The ''lib'' subdirectory contains the library API (sourc...
-The ''sample'' subdirectory contains program examples.
Please note that the API and examples are constantly grow...
Now proceed to the [[How to Use]] page and enjoy.
Page: