1.1 --- a/NEWS	Mon Nov 22 10:41:55 2010 +0100
     1.2 +++ b/NEWS	Mon Nov 22 10:41:56 2010 +0100
     1.3 @@ -89,6 +89,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Quickcheck's generator for random generation is renamed from "code" to
     1.8 +"random". INCOMPATIBILITY. 
     1.9 +
    1.10  * Theory Multiset provides stable quicksort implementation of sort_key.
    1.11  
    1.12  * Quickcheck now has a configurable time limit which is set to 30 seconds

     2.1 --- a/src/HOL/Tools/quickcheck_generators.ML	Mon Nov 22 10:41:55 2010 +0100
     2.2 +++ b/src/HOL/Tools/quickcheck_generators.ML	Mon Nov 22 10:41:56 2010 +0100
     2.3 @@ -413,6 +413,6 @@
     2.4    Datatype.interpretation ensure_random_datatype
     2.5    #> Code_Target.extend_target (target, (Code_Runtime.target, K I))
     2.6    #> Context.theory_map
     2.7 -    (Quickcheck.add_generator ("code", compile_generator_expr));
     2.8 +    (Quickcheck.add_generator ("random", compile_generator_expr));
     2.9  
    2.10  end;