[cvs-nhc98] patch applied (hat): Added new functionality of hat-trail to the documentation.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:09:58 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Interaction of Redex Trail browser with hat-observe and hat-detect.
Next message: [cvs-nhc98] patch applied (hat): Bump version number to 1.11.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Thu Oct 25 15:15:27 PDT 2001  thorsten
  * Added new functionality of hat-trail to the documentation.

    M ./docs/hatuser.tex +14

Previous message: [cvs-nhc98] patch applied (hat): Interaction of Redex Trail browser with hat-observe and hat-detect.
Next message: [cvs-nhc98] patch applied (hat): Bump version number to 1.11.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list