[cvs-nhc98] patch applied (hat): Fix HTML validation errors

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:29:41 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Now it is also possible to declare trusted reductions to be wrong or of unknown correctness.
Next message: [cvs-nhc98] patch applied (hat): Extended fileformat:
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Wed Oct 13 03:00:45 PDT 2004  malcolm
  * Fix HTML validation errors

    M ./docs/index.html -25 +16

Previous message: [cvs-nhc98] patch applied (hat): Now it is also possible to declare trusted reductions to be wrong or of unknown correctness.
Next message: [cvs-nhc98] patch applied (hat): Extended fileformat:
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list