previous up next
Go backward to 3.1 Text Mode
Go up to 3 Installation and Use
Go forward to 3.3 Applet Mode
RISC-Linz logo

3.2 Window Mode

Having retrieved Logic.jar, unpack it in the current directory or in a directory of the CLASSPATH as

jar xf Logic.jar

and start the evaluator with

java Logic.Main -window parameters

A window pops up in which input is entered and the output is displayed. The optional list of parameters is the same as for applets where the name of each parameter is prefixed with the token `-', e.g.,

java Logic.Main -window -screen true -lines 16

Execution is terminated by closing the window (menu entry Close in most window managers).


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

previous up next