
Test Check List:


1. tkholshell
-------------

a. Startup
	- Startup OK with HOL88 2.01
	- Startup OK with HOL88 2.02
	- Startup OK with HOL90.6
	- Startup OK with HOL90.7
	- One main window appears
	- Intro message and intial prompt OK.
	- Button highlighting OK, button names OK, all look & feel OK
	- Startup fails gracefully if -hol ... executable not found.

b. Immediate Exiting
	- Immediate exit via Quit button works
	- Immediate exit via window destroy works
		FAILS
	- Immediate exit via quit();; in HOL88 or ^D in HOL90 
	produces HOL session application termination error.
	- No processes remain after each of the above.


c. Extra shells
	- Extra shell appears when button pressed

	- Intro message/initial prompt to extra shell OK.

d. Action upon ^C
	- Ctrl-C produces warning on first press.

	- Ctrl-C kills application on second press.

	- Typing at the interface still works OK after on Ctrl-C.

	- Ctrl-C terminates infinite loops.

e. Calling help()
	- Produces a sensible error message under HOL88
	- Same for HOL90



2. tktheoryviewer
-----------------


3. tkholwb
----------





