equal
deleted
inserted
replaced
76 * Dockable window "Find" provides query operations for formal entities |
76 * Dockable window "Find" provides query operations for formal entities |
77 (GUI front-end to 'find_theorems' command). |
77 (GUI front-end to 'find_theorems' command). |
78 |
78 |
79 * Dockable window "Documentation" provides access to Isabelle |
79 * Dockable window "Documentation" provides access to Isabelle |
80 documentation. |
80 documentation. |
|
81 |
|
82 * Dockable window "Sledgehammer" manages asynchronous / parallel |
|
83 sledgehammer runs over existing document sources, independently of |
|
84 normal editing and checking process. |
81 |
85 |
82 * Dockable window "Timing" provides an overview of relevant command |
86 * Dockable window "Timing" provides an overview of relevant command |
83 timing information. |
87 timing information. |
84 |
88 |
85 * Option to skip over proofs, using implicit 'sorry' internally. |
89 * Option to skip over proofs, using implicit 'sorry' internally. |