[cvs-nhc98] patch applied (hat): Add -P includepath to hat-trans when necessary.

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


Fri Mar 15 06:04:01 PST 2002  malcolm
  * Add -P includepath to hat-trans when necessary.

    M ./script/hat-trans.inst -6 +6


More information about the Cvs-nhc98 mailing list