[cvs-nhc98] patch applied (hat): Changes to hat-gui, adds support for hat-cover

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

Previous message: [cvs-nhc98] patch applied (hat): Fix the Windows makefile to build the new style hat-cover
Next message: [cvs-nhc98] patch applied (hat): Preliminary version of expanding functional values - EDT rearangement works at least for arguments
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Thu Jul 13 04:24:15 PDT 2006  neil
  * Changes to hat-gui, adds support for hat-cover

    M ./src/hattools/HatGui.hs -3 +119
    M ./src/hattools/hatgui.glade -5 +5

Previous message: [cvs-nhc98] patch applied (hat): Fix the Windows makefile to build the new style hat-cover
Next message: [cvs-nhc98] patch applied (hat): Preliminary version of expanding functional values - EDT rearangement works at least for arguments
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list