NEWS

--- a/NEWS	Mon Nov 22 10:41:55 2010 +0100
+++ b/NEWS	Mon Nov 22 10:41:56 2010 +0100
@@ -89,6 +89,9 @@
 
 *** HOL ***
 
+* 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