obsolete (see 52790e3961fe);

--- 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).