equal
deleted
inserted
replaced
40 and Unix command-line print spooling. Minor INCOMPATIBILITY: use |
40 and Unix command-line print spooling. Minor INCOMPATIBILITY: use |
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 |
|
46 * Execution range of continuous document processing may be set to |
|
47 "all", "none", "visible". See also dockable window "Theories" or |
|
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". |
45 |
51 |
46 * Strictly monotonic document update, without premature cancelation of |
52 * Strictly monotonic document update, without premature cancelation of |
47 running transactions that are still needed: avoid reset/restart of |
53 running transactions that are still needed: avoid reset/restart of |
48 such command executions while editing. |
54 such command executions while editing. |
49 |
55 |