[cvs-nhc98] patch applied (hat): Fixed bug making arith sequence display transient!

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

Previous message: [cvs-nhc98] patch applied (hat): Added sugar for arithmetic sequences.
Next message: [cvs-nhc98] patch applied (hat): Record trusted partial application of partially applied constructors.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Tue Apr 10 10:45:36 PDT 2001  colin
  * Fixed bug making arith sequence display transient!

    M ./src/old/trail/IdName.java -1 +5

Previous message: [cvs-nhc98] patch applied (hat): Added sugar for arithmetic sequences.
Next message: [cvs-nhc98] patch applied (hat): Record trusted partial application of partially applied constructors.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list