[cvs-nhc98] patch applied (hat): Many fixes to hat-trail:
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:14:37 EDT 2006
Wed Mar 13 03:27:12 PST 2002 malcolm
* Many fixes to hat-trail:
* Fix "redex = redex" to become "redex = _|_".
* Add interactive help screen.
* Allow :set and :help commands in the output/error pane.
* Trim long lines in the output pane to 76 columns.
* Verbose mode now expands all lists to explicit applications of (:).
* Some refactoring of the Set/Mode commands.
* First attempt (non-working) at using '[' and ']' for list element movement.
* Remove single letter commands: o O d t s S
* Add commands :source and :Source.
M ./src/hattools/HatTrail.hs -151 +192
More information about the Cvs-nhc98
mailing list