| changeset 52949 | 90edb0669845 |
| parent 52896 | 73e32ed924b3 |
| child 53016 | fa9c38891cf2 |
--- a/NEWS Fri Aug 09 20:30:11 2013 +0200 +++ b/NEWS Fri Aug 09 20:31:51 2013 +0200 @@ -59,6 +59,9 @@ * Support for automatic tools in HOL, which try to prove or disprove toplevel theorem statements. +* Dockable window "Find" provides query operations for formal entities +(GUI front-end to 'find_theorems' command). + * Dockable window "Documentation" provides access to Isabelle documentation.