| changeset 52445 | 18a720984855 |
| parent 52439 | 4cf3f6153eb8 |
| child 52463 | c45a6939217f |
--- a/NEWS Tue Jun 25 12:17:19 2013 +0200 +++ b/NEWS Tue Jun 25 16:55:10 2013 +0200 @@ -39,6 +39,9 @@ *** Prover IDE -- Isabelle/Scala/jEdit *** +* Dockable window "Documentation" provides access to Isabelle +documentation. + * Dockable window "Timing" provides an overview of relevant command timing information.