changeset 53162 | f03ec7fae947 |
parent 53161 | 051cbf663b5f |
child 53164 | beb4ee344c22 |
--- 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).