# HG changeset patch
# User blanchet
# Date 1360916240 -3600
# Node ID 077456580eca08304e85378d9730ae3771075b45
# Parent  fdcc06013f2db4737b8dba833a3601b444cb9eb3
updated news

diff -r fdcc06013f2d -r 077456580eca NEWS
--- 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)
 -----------------------------------