src/HOL/Tools/Nitpick/HISTORY

--- a/src/HOL/Tools/Nitpick/HISTORY	Sat Apr 24 16:44:45 2010 +0200
+++ b/src/HOL/Tools/Nitpick/HISTORY	Sat Apr 24 17:48:21 2010 +0200
@@ -17,6 +17,7 @@
   * Added cache to speed up repeated Kodkod invocations on the same problems
   * Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and "SAT4JLight" to
  	"MiniSat_JNI", "zChaff_JNI", "BerkMin_Alloy", and "SAT4J_Light"
+  * Removed "sym_break", "flatten_prop", "sharing_depth", and "uncurry" options
 
 Version 2009-1