1.1 --- a/src/HOL/Tools/Nitpick/HISTORY	Mon Feb 01 14:12:12 2010 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/HISTORY	Tue Feb 02 11:38:38 2010 +0100
     1.3 @@ -1,7 +1,9 @@
     1.4  Version 2010
     1.5  
     1.6    * Added and implemented "binary_ints" and "bits" options
     1.7 -  * Fixed soundness bug in "destroy_constrs" optimization
     1.8 +  * Added "std" option and implemented support for nonstandard models
     1.9 +  * Fixed soundness bugs related to "destroy_constrs" optimization and record
    1.10 +    getters
    1.11  
    1.12  Version 2009-1
    1.13