cvs commit: nhc98/src/libraries/QuickCheck Makefile.inc Makefile.nhc98

Malcolm Wallace malcolm@glass.cse.ogi.edu
Fri, 8 Aug 2003 03:57:20 -0700 

malcolm     2003/08/08 03:57:20 PDT

  Added files:
    src/libraries/QuickCheck Makefile.inc Makefile.nhc98 
  Log:
  Plum the newly separate QuickCheck package into the nhc98 build.