Download LMNtalEditor

[ Download ] latest version : 0.9.7
&ref(): The style ref(filename,pagename) is ambiguous and become obsolete. Please try ref(pagename/filename);

Start LMNtalEditor

  1. Unzip download file.
  2. If you need, install Java(all) and Cygwin(only windows).
  3. Download ltl2ba.
  4. Open the archive and move to LMNtalEditor0_9_7/lmntal/.
    > gunzip ltl2ba-1.1.tar.gz
    > tar xf ltl2ba-1.1.tar
    > mv ltl2ba-1.1/ LMNtalEditor0_9_7/lmntal/
  5. Click the LMNtalEditor.jar file. (or input "java -jar LMNtalEditor.jar")

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