equal
deleted
inserted
replaced
41 'display_drafts' instead and print via the regular document viewer. |
41 'display_drafts' instead and print via the regular document viewer. |
42 |
42 |
43 |
43 |
44 *** Prover IDE -- Isabelle/Scala/jEdit *** |
44 *** Prover IDE -- Isabelle/Scala/jEdit *** |
45 |
45 |
46 * Execution range of continuous document processing may be set to |
46 * Continuous checking of proof document (visible and required parts) |
47 "all", "none", "visible". See also dockable window "Theories" or |
47 may be controlled explicitly, using check box or "C+e ENTER" shortcut. |
48 keyboard shortcuts "C-e BACK_SPACE" for "none", and "C-e SPACE" for |
|
49 "visible". These declarative options supersede the old-style action |
|
50 buttons "Cancel" and "Check". |
|
51 |
48 |
52 * Strictly monotonic document update, without premature cancelation of |
49 * Strictly monotonic document update, without premature cancelation of |
53 running transactions that are still needed: avoid reset/restart of |
50 running transactions that are still needed: avoid reset/restart of |
54 such command executions while editing. |
51 such command executions while editing. |
55 |
52 |