[cvs-nhc98] patch applied (hat): Comment out the over-large display squashing code. Reduce the maximum

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:17:08 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Fix incorrect pretty-printing indent in hat-observe: the highlighting
Next message: [cvs-nhc98] patch applied (hat): Now obsolete.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Fri May  3 04:11:00 PDT 2002  malcolm
  * Comment out the over-large display squashing code.  Reduce the maximum
  size of the output pane to 1/4 of full screen, rather than 1/3.

    M ./src/hattools/HatTrail.hs -3 +4

Previous message: [cvs-nhc98] patch applied (hat): Fix incorrect pretty-printing indent in hat-observe: the highlighting
Next message: [cvs-nhc98] patch applied (hat): Now obsolete.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list