Download LMNtalEditor

[ Download ] Download

Start LMNtalEditor

  1. Unzip the download file. (Please do not include space in your directory name.)
    ok: C:\LMNtalEditorX_Y_Z\
    ng: C:\Documents and Settings\LMNtalEditorX_Y_Z\
  2. If necessary, install Java and Cygwin (on Windows) (see System Requirements below).
  3. Download ltl2ba and move ltl2ba-1.1.tar.gz to LMNtalEditorX_Y_Z/lmntal/.
    > mv ltl2ba-1.1.tar.gz LMNtalEditorX_Y_Z/lmntal/
  4. Click the LMNtalEditor.jar file (or input "java -jar LMNtalEditor.jar") and follow the instructions to install SLIM.

System Requirements



Front page List of pages Search Recent changes Backup   Help   RSS of recent changes