# HG changeset patch
# User wenzelm
# Date 1377251068 -7200
# Node ID f03ec7fae947c27a1f22b6df422da6024601d0ee
# Parent  051cbf663b5fbd7c2d5249757d013dbb8191f598
obsolete (see 52790e3961fe);

diff -r 051cbf663b5f -r f03ec7fae947 NEWS
--- a/NEWS	Fri Aug 23 11:41:17 2013 +0200
+++ b/NEWS	Fri Aug 23 11:44:28 2013 +0200
@@ -86,8 +86,6 @@
 * Dockable window "Timing" provides an overview of relevant command
 timing information.
 
-* Option to skip over proofs, using implicit 'sorry' internally.
-
 * Action isabelle.reset-font-size resets main text area font size
 according to Isabelle/Scala plugin option "jedit_font_reset_size"
 (cf. keyboard shortcut C+0).