equal
deleted
inserted
replaced
56 * Support for asynchronous print functions, as overlay to existing |
56 * Support for asynchronous print functions, as overlay to existing |
57 document content. |
57 document content. |
58 |
58 |
59 * Support for automatic tools in HOL, which try to prove or disprove |
59 * Support for automatic tools in HOL, which try to prove or disprove |
60 toplevel theorem statements. |
60 toplevel theorem statements. |
|
61 |
|
62 * Dockable window "Find" provides query operations for formal entities |
|
63 (GUI front-end to 'find_theorems' command). |
61 |
64 |
62 * Dockable window "Documentation" provides access to Isabelle |
65 * Dockable window "Documentation" provides access to Isabelle |
63 documentation. |
66 documentation. |
64 |
67 |
65 * Dockable window "Timing" provides an overview of relevant command |
68 * Dockable window "Timing" provides an overview of relevant command |