ASCII LWB

		This is the basic version of the Logics Workbench. This version is mainly intended for Unix Machines and is currently available for Solaris and Linux as binary distributions.
		It should be possible to port this version to other unix systems and even other platforms, though. If you want to make such a port to another system, please tell us. We will then gladly make the source code available to you.

a picture of a sample ASCII LWB session (21 K)

		Startup:
			lwb [file [file [...]]]
		where the given files are parsed after starting the LWB. These files can be used to customize the LWB or to preset certain variables. If one of these files contains the quit command, then parsing will be stopped and the LWB will be terminated.

Make sure that every LWB statement is terminated with a semicolon (';'). The LWB will not process the given input if no semicolon is given. Furthermore, without a semicolon, text that is given on several lines is merged to a single command with the given semicolon as terminator.

lwb@iam.unibe.ch

LWB 1.1 February 22, 2002