# HG changeset patch
# User bulwahn
# Date 1301471057 -7200
# Node ID 43cba90b080f486d6a45cb9c2f5caefd75b9e60a
# Parent  234ec7011e5d463b3b41649e66a3bae7dc5cdff0
NEWS

diff -r 234ec7011e5d -r 43cba90b080f NEWS
--- a/NEWS	Wed Mar 30 09:44:16 2011 +0200
+++ b/NEWS	Wed Mar 30 09:44:17 2011 +0200
@@ -53,6 +53,12 @@
 * "try":
   - Added "simp:", "intro:", and "elim:" options.
 
+* Quickcheck:
+  - Added "eval" option to evaluate terms for the found counterexample
+    (currently only supported by the default (exhaustive) tester)
+  - Added post-processing of terms to obtain readable counterexamples
+    (currently only supported by the default (exhaustive) tester)
+
 * Function package: discontinued option "tailrec".
 INCOMPATIBILITY. Use partial_function instead.