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