previous up next
Go backward to 2 Language
Go up to Top
Go forward to 4 Sample Files
RISC-Linz logo

3 Installation and Use

The Logic Evaluator has been developed under Linux with the Sun Java Development Toolkit. It is written in Java 1.1 as a package Logic with main class Main and is distributed as the Java archive Logic.jar.

  • 3.1 Text Mode
  • 3.2 Window Mode
  • 3.3 Applet Mode
  • 3.4 Known Problems

  • Maintained by: Wolfgang Schreiner
    Last Modification: September 16, 2004

    previous up next