simonmar 2004/02/10 04:13:42 PST
Modified files:
libraries/QuickCheck/Debug QuickCheck.hs
Log:
Add defaultConfig
Submitted by: Martin Sjögren [md9ms at mdstud.chalmers.se]
Ok'd by: Koen Claessen [koen at cs.chalmers.se]
Revision Changes Path
1.2 +4 -0 fptools/libraries/QuickCheck/Debug/QuickCheck.hs