# HG changeset patch
# User bulwahn
# Date 1307609022 -7200
# Node ID 048c7eea1a719cf061c55ac90149e48d14700678
# Parent  825f4f0dcf71e042a0d34715f0654ecb4615f739
NEWS

diff -r 825f4f0dcf71 -r 048c7eea1a71 NEWS
--- a/NEWS	Thu Jun 09 10:19:51 2011 +0200
+++ b/NEWS	Thu Jun 09 10:43:42 2011 +0200
@@ -97,6 +97,11 @@
     (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)
+  - New counterexample generator quickcheck[narrowing] enables
+    narrowing-based testing.
+    It requires that the Glasgow Haskell compiler is installed and
+    its location is known to Isabelle with the environment variable
+    ISABELLE_GHC.
 
 * Function package: discontinued option "tailrec".
 INCOMPATIBILITY. Use partial_function instead.