malcolm 2003/08/08 03:57:20 PDT Modified files: script pkgdirlist Log: Plum the newly separate QuickCheck package into the nhc98 build. Revision Changes Path 1.5 +3 -0 nhc98/script/pkgdirlist