Wed May 1 06:34:52 PDT 2002 malcolm * 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 M ./src/hattools/HatObserve.hs -172 +135 A ./src/hattools/TExp.hs A ./src/hattools/Trie.hs