NEWS

--- a/NEWS	Fri May 29 17:17:50 2015 +0200
+++ b/NEWS	Fri May 29 17:56:43 2015 +0200
@@ -15,6 +15,9 @@
     cases where Sledgehammer gives a proof that does not work.
   - Auto Sledgehammer now minimizes and preplays the results.
 
+* Nitpick:
+  - Removed "check_potential" and "check_genuine" options.
+
 
 New in Isabelle2015 (May 2015)
 ------------------------------