src/HOL/Tools/Nitpick/HISTORY

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