[cvs-nhc98] patch applied (hat): Change some symbols in hat-detect and hat-observe:

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:13:34 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Bugfix in hat-explore: getParentNode should return 0 if there is no
Next message: [cvs-nhc98] patch applied (hat): In hat-explore, write all errors to stderr.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Fri Feb 15 07:36:08 PST 2002  malcolm
  * Change some symbols in hat-detect and hat-observe:
      * <HIDDEN> becomes { } with a reverse-video box in the middle
      * <dummy> becomes {IO} in bold
      * <cut> becomes a reverse-video box

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

Previous message: [cvs-nhc98] patch applied (hat): Bugfix in hat-explore: getParentNode should return 0 if there is no
Next message: [cvs-nhc98] patch applied (hat): In hat-explore, write all errors to stderr.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list