equal
deleted
inserted
replaced
26 |
26 |
27 * The text overview column (status of errors, warnings etc.) is updated |
27 * The text overview column (status of errors, warnings etc.) is updated |
28 asynchronously, leading to much better editor reactivity. Moreover, the |
28 asynchronously, leading to much better editor reactivity. Moreover, the |
29 full document node content is taken into account. |
29 full document node content is taken into account. |
30 |
30 |
31 * The State panel manages implicit proof state output, with jEdit action |
31 * The State panel manages explicit proof state output, with jEdit action |
32 "isabelle-update-state" to trigger update according to cursor position. |
32 "isabelle.update-state" (shortcut S+ENTER) to trigger update according |
33 Option "editor_output_state" controls implicit proof state output in the |
33 to cursor position. Option "editor_output_state" controls implicit proof |
34 Output panel: suppressing this may reduce resource requirements of |
34 state output in the Output panel: suppressing this reduces resource |
35 prover time and GUI space. |
35 requirements of prover time and GUI space. |
36 |
36 |
37 |
37 |
38 *** Isar *** |
38 *** Isar *** |
39 |
39 |
40 * Command 'obtain' binds term abbreviations (via 'is' patterns) in the |
40 * Command 'obtain' binds term abbreviations (via 'is' patterns) in the |