[cvs-nhc98] patch applied (hat): imports wibble.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:31:11 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Just added a few comments.
Next message: [cvs-nhc98] patch applied (hat): Remove instance of Eq (SExp Label) - it requires non-H' 98 overlapping insts.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Thu May  5 02:39:43 PDT 2005  malcolm
  * imports wibble.

    M ./src/hattools/NonTermLib.hs -2 +1

Previous message: [cvs-nhc98] patch applied (hat): Just added a few comments.
Next message: [cvs-nhc98] patch applied (hat): Remove instance of Eq (SExp Label) - it requires non-H' 98 overlapping insts.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list