[cvs-nhc98] patch applied (hat): In hat-trail, fix the `squash' implementation that automatically

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:20:03 EDT 2006


Thu Jun 27 08:10:05 PDT 2002  malcolm
  * In hat-trail, fix the `squash' implementation that automatically
  decreases the cutoff to make a large expression fit in the maximum
  available screen size.  (This should stop the screen from getting
  garbled.)  Also add a :resize command just like in hat-observe.

    M ./src/hattools/HatTrail.hs -19 +63


More information about the Cvs-nhc98 mailing list