NEWS

--- a/NEWS	Tue Jun 01 15:37:14 2010 +0200
+++ b/NEWS	Tue Jun 01 15:38:47 2010 +0200
@@ -435,6 +435,7 @@
     "SAT4J_Light".  INCOMPATIBILITY.
   - Removed "skolemize", "uncurry", "sym_break", "flatten_prop",
     "sharing_depth", and "show_skolems" options.  INCOMPATIBILITY.
+  - Removed "nitpick_intro" attribute.  INCOMPATIBILITY.
 
 * Moved the SMT binding into the HOL image.