MacLWB

This version of the LWB features a sophisticated graphical user interface for the Apple Macintosh.

a picture of a sample MacLWB session (92 K)

		Startup:
				The LWB for the Macintosh is started like any other program with a double click on its icon.
				If an LWB session icon is double clicked, then the Logics Workbench will be started and the session will directly be loaded.
				If an LWB file icon is double clicked, then the Logics Workbench will be started and the file will directly be loaded (this will set the variables and functions of the file but won't set anything in the display).
				If a ProofWish icon is double clicked, then the ProofWish tool will be started, reading and displaying the proof of the file.

Make sure that every LWB statement is terminated with a semicolon (';'). Contrary to the ASCII LWB, text given is processed when the RETURN key is pressed. This will produce a parse error when the statement is not terminated by a semicolon. To insert a new line into a region without terminating the input, use SHIFT-RETURN.

		Further Information:
		These additional pages explain the use of the Mac user interface in more detail:
			Installation		explains how the LWB is installed on the mac
			Troubleshooting		some hints for common problems
			Keyboard		a description of the available keyboard sequences and what they do
			Menus		a description of the available menus and what they do
			Preferences		a list of the things that can be set and how they are changed

lwb@iam.unibe.ch

LWB 1.1 February 22, 2002