[cvs-nhc98] patch applied (hat): Slightly updated user manual and web pages for Hat.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:04:37 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Minor corrections to new docs.
Next message: [cvs-nhc98] patch applied (hat): Rename hat-interact to hat-checki to avoid possible user confusion
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Mon May 21 08:55:12 PDT 2001  olaf
  * Slightly updated user manual and web pages for Hat.

    M ./docs/hatuser.tex -23 +34
    M ./docs/index.html -2 +2
    M ./docs/limitations.html +7

Previous message: [cvs-nhc98] patch applied (hat): Minor corrections to new docs.
Next message: [cvs-nhc98] patch applied (hat): Rename hat-interact to hat-checki to avoid possible user confusion
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list