--- a/NEWS Fri Feb 15 09:17:20 2013 +0100
+++ b/NEWS Fri Feb 15 09:17:20 2013 +0100
@@ -19,6 +19,11 @@
INCOMPATIBILITY.
+* Sledgehammer:
+
+ - Renamed option:
+ isar_shrink ~> isar_compress
+
New in Isabelle2013 (February 2013)
-----------------------------------