[cvs-nhc98] patch applied (nhc98): plumb new nhc98-pkg into nhc98 script etc

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Fri Jul 13 11:55:49 EDT 2007

Previous message: [cvs-nhc98] patch applied (nhc98): accept multiple package names on command-line
Next message: [cvs-nhc98] patch applied (nhc98): remove need for -cpp in this file
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Fri Jul 13 08:53:23 PDT 2007  Malcolm.Wallace at cs.york.ac.uk
  * plumb new nhc98-pkg into nhc98 script etc

    M ./Makefile -2 +5
    M ./script/nhc98.inst -14 +18

Previous message: [cvs-nhc98] patch applied (nhc98): accept multiple package names on command-line
Next message: [cvs-nhc98] patch applied (nhc98): remove need for -cpp in this file
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list