# HG changeset patch
# User bulwahn
# Date 1324456754 -3600
# Node ID 2fd0bbf8be13e1dc00971fe1b313a9af09436108
# Parent  71970a26a2696005dc80ce9c24c9f59f2b0f856b
NEWS

diff -r 71970a26a269 -r 2fd0bbf8be13 NEWS
--- a/NEWS	Wed Dec 21 09:21:35 2011 +0100
+++ b/NEWS	Wed Dec 21 09:39:14 2011 +0100
@@ -170,7 +170,12 @@
     By default, Quickcheck shows potentially spurious and genuine
     counterexamples. The option "genuine_only" sets quickcheck to
     only show genuine counterexamples.
- 
+
+  - The command 'quickcheck_generator' creates random and exhaustive
+    value generators for a given type and operations.
+    It generates values by using the operations as if they were
+    constructors of that type. 
+  
 * Nitpick:
   - Fixed infinite loop caused by the 'peephole_optim' option and
     affecting 'rat' and 'real'.