NEWS

--- a/NEWS	Mon Nov 22 17:46:51 2010 +0100
+++ b/NEWS	Mon Nov 22 17:49:12 2010 +0100
@@ -92,6 +92,9 @@
 * Renamed theory Fset to Cset, type Fset.fset to Cset.set, in order to
 avoid confusion with finite sets.  INCOMPATIBILITY.
 
+* Quickcheck's generator for random generation is renamed from "code" to
+"random". INCOMPATIBILITY. 
+
 * Theory Multiset provides stable quicksort implementation of sort_key.
 
 * Quickcheck now has a configurable time limit which is set to 30 seconds