Documentation
LMNtalEditor
The LMNtalEditor IDE should be quite easy to use. The upper-left pane is for
editing programs, while the upper-right pane shows system output.
To run your program, use one of the buttons on the lower-left pane:
- LMNtal(Java) for running the program using the Java runtime,
- UNYO(2G) for the 2nd-generation UNYO-UNYO visualizer,
- UNYO(3G) for the 3rd-generation UNYO-UNYO visualizer,
- SLIM for running the program using the C runtime, and
- StateViewer for visualizing the state-space of the program.
LMNtal Java
The old page describing the use of LMNtal Java has been moved.
See How to Use LMNtal Java for details.