1.1 --- a/NEWS Thu Jun 09 10:19:51 2011 +0200
1.2 +++ b/NEWS Thu Jun 09 10:43:42 2011 +0200
1.3 @@ -97,6 +97,11 @@
1.4 (currently only supported by the default (exhaustive) tester)
1.5 - Added post-processing of terms to obtain readable counterexamples
1.6 (currently only supported by the default (exhaustive) tester)
1.7 + - New counterexample generator quickcheck[narrowing] enables
1.8 + narrowing-based testing.
1.9 + It requires that the Glasgow Haskell compiler is installed and
1.10 + its location is known to Isabelle with the environment variable
1.11 + ISABELLE_GHC.
1.12
1.13 * Function package: discontinued option "tailrec".
1.14 INCOMPATIBILITY. Use partial_function instead.