[cvs-nhc98] In hat-observe:

[Malcolm Wallace]

malcolm: Wed May  1 15:34:53 CEST 2002

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

Modified Files:
	HatObserve.hs 
Added Files:
	TExp.hs Trie.hs 
Log Message:
In hat-observe:
  * clean up initialisation of the InteractiveState
  * save screenWidth in state, with :resize command to re-detect
  * use screenWidth in pretty-printer
  * re-implement unique equation tests, using a Trie