[cvs-nhc98] patch applied (hat): In hat-observe:
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:16:45 EDT 2006
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
More information about the Cvs-nhc98
mailing list