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 implemented in Java 1.1 as a package Logic with main class Main; it is distributed as the Java archive Logic.jar.

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

  • Maintained by: Wolfgang Schreiner
    Last Modification: July 13, 1999

    previous up next