[cvs-nhc98] patch applied (hat): Renamed hat-source -> hat-explore.

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

Previous message: [cvs-nhc98] patch applied (hat): Now hat-source uses new information about children of Hidden nodes.
Next message: [cvs-nhc98] patch applied (hat): Prototype for mkListCons.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Fri Oct 15 11:03:14 PDT 2004  olaf
  * Renamed hat-source -> hat-explore.

    M ./configure -1 +1
    M ./src/hattools/HatExplore.hs -1 +1
    M ./src/hattools/Makefile -5 +5

Previous message: [cvs-nhc98] patch applied (hat): Now hat-source uses new information about children of Hidden nodes.
Next message: [cvs-nhc98] patch applied (hat): Prototype for mkListCons.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list