1.1 --- a/NEWS Wed Mar 30 09:44:16 2011 +0200
1.2 +++ b/NEWS Wed Mar 30 09:44:17 2011 +0200
1.3 @@ -53,6 +53,12 @@
1.4 * "try":
1.5 - Added "simp:", "intro:", and "elim:" options.
1.6
1.7 +* Quickcheck:
1.8 + - Added "eval" option to evaluate terms for the found counterexample
1.9 + (currently only supported by the default (exhaustive) tester)
1.10 + - Added post-processing of terms to obtain readable counterexamples
1.11 + (currently only supported by the default (exhaustive) tester)
1.12 +
1.13 * Function package: discontinued option "tailrec".
1.14 INCOMPATIBILITY. Use partial_function instead.
1.15