[cvs-nhc98] patch applied (hat): In the user guide, the name Hatobserve becomes hat-observe again.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:06:49 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Undo a change in combined import qualified/unqualified behaviour which
Next message: [cvs-nhc98] patch applied (hat): Rename TokenId.qualImpRev -> qualImpPrel
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Thu Aug 23 06:27:37 PDT 2001  malcolm
  * In the user guide, the name Hatobserve becomes hat-observe again.

    M ./docs/hatuser.tex -12 +12

Previous message: [cvs-nhc98] patch applied (hat): Undo a change in combined import qualified/unqualified behaviour which
Next message: [cvs-nhc98] patch applied (hat): Rename TokenId.qualImpRev -> qualImpPrel
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list