[cvs-nhc98] Refactor hat-observe:

[Malcolm Wallace]

malcolm: Tue Feb 26 12:06:24 CET 2002

Update of /usr/src/master/nhc/src/hat/tools
In directory hinken:/tmp/cvs-serv15674

Modified Files:
	HatObserve.hs 
Log Message:
Refactor hat-observe:
  * rename 'precision' to 'cutoffdepth'
  * '<RETURN> for more equations' is now a moded dialogue
  * introduce a simple command type and an interpreter to
    translate keystrokes into commands
  * adopt a Hugs-like ':command' syntax
  * state toggles have now become explicit commands :set or :unset
  * the 'show' command is now :info
  * the :help text is updated to show the new command syntax