equal
deleted
inserted
replaced
62 * Dockable window "Sledgehammer" manages asynchronous / parallel |
62 * Dockable window "Sledgehammer" manages asynchronous / parallel |
63 sledgehammer runs over existing document sources, independently of |
63 sledgehammer runs over existing document sources, independently of |
64 normal editing and checking process. |
64 normal editing and checking process. |
65 |
65 |
66 * Dockable window "Timing" provides an overview of relevant command |
66 * Dockable window "Timing" provides an overview of relevant command |
67 timing information. |
67 timing information, depending on option jedit_timing_threshold. The |
|
68 same timing information is shown in the extended tooltip of the |
|
69 command keyword, when hovering the mouse over it while the CONTROL or |
|
70 COMMAND modifier is pressed. |
68 |
71 |
69 * Improved dockable window "Theories": Continuous checking of proof |
72 * Improved dockable window "Theories": Continuous checking of proof |
70 document (visible and required parts) may be controlled explicitly, |
73 document (visible and required parts) may be controlled explicitly, |
71 using check box or shortcut "C+e ENTER". Individual theory nodes may |
74 using check box or shortcut "C+e ENTER". Individual theory nodes may |
72 be marked explicitly as required and checked in full, using check box |
75 be marked explicitly as required and checked in full, using check box |