tatd2 2006/01/17 08:25:29 PST Modified files: . configure Log: Added QuickCheck to the standard libraries installed with Hat. Hat version runs all tests, even if one fails to provide more data for hat-delta. hat-delta updated with -q option to debug a program tested with QuickCheck Revision Changes Path 1.22 +11 -0 hat/configure