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