50 |
50 |
51 * The text overview column (status of errors, warnings etc.) is updated |
51 * The text overview column (status of errors, warnings etc.) is updated |
52 asynchronously, leading to much better editor reactivity. Moreover, the |
52 asynchronously, leading to much better editor reactivity. Moreover, the |
53 full document node content is taken into account. |
53 full document node content is taken into account. |
54 |
54 |
55 * The State panel manages explicit proof state output, with jEdit action |
55 * The State panel manages explicit proof state output. The jEdit action |
56 "isabelle.update-state" (shortcut S+ENTER) to trigger update according |
56 "isabelle.update-state" (shortcut S+ENTER) triggers manual update |
57 to cursor position. |
57 according to cursor position. |
58 |
58 |
59 * The Output panel no longer shows proof state output by default. This |
59 * The Output panel no longer shows proof state output by default, to |
60 reduces resource requirements of prover time and GUI space. |
60 avoid GUI overcrowding. INCOMPATIBILITY, use the State panel instead or |
61 INCOMPATIBILITY, use the State panel instead or enable option |
61 enable option "editor_output_state". |
62 "editor_output_state". |
|
63 |
62 |
64 * Action "isabelle-emph" (with keyboard shortcut C+e LEFT) controls |
63 * Action "isabelle-emph" (with keyboard shortcut C+e LEFT) controls |
65 emphasized text style; the effect is visible in document output, not in |
64 emphasized text style; the effect is visible in document output, not in |
66 the editor. |
65 the editor. |
67 |
66 |