[cvs-nhc98] patch applied (hat): In hat-trail, on the RHS of an equation, do not stop at the first

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

Previous message: [cvs-nhc98] patch applied (hat): The renamer for -hat did not handle the case that a locally defined
Next message: [cvs-nhc98] patch applied (hat): When navigating with arrow keys in hat-trail, treat a sugared character
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Fri May 17 03:26:56 PDT 2002  malcolm
  * In hat-trail, on the RHS of an equation, do not stop at the first
  Hidden node if one is encountered, but continue searching.

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

Previous message: [cvs-nhc98] patch applied (hat): The renamer for -hat did not handle the case that a locally defined
Next message: [cvs-nhc98] patch applied (hat): When navigating with arrow keys in hat-trail, treat a sugared character
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list