patch applied (packages/QuickCheck): remove obsolete Hugs stuff
Ross Paterson
ross at soi.city.ac.uk
Fri Sep 8 19:59:05 EDT 2006
Mon Sep 4 15:40:49 PDT 2006 Ross Paterson <ross at soi.city.ac.uk>
* remove obsolete Hugs stuff
R ./hugs/
R ./hugs/exclude
More information about the Cvs-libraries
mailing list