| changeset 51533 | 3f6280aedbcc |
| parent 51517 | 7957d26c3334 |
| child 51551 | 88d1d19fb74f |
--- a/NEWS Mon Mar 25 20:00:27 2013 +0100 +++ b/NEWS Tue Mar 26 11:26:13 2013 +0100 @@ -21,6 +21,12 @@ 'ML_file' in Isabelle2013. Minor INCOMPATIBILITY. +*** Prover IDE -- Isabelle/Scala/jEdit *** + +* Dockable window "Timing" provides an overview of relevant command +timing information. + + *** Pure *** * Discontinued obsolete 'axioms' command, which has been marked as