equal
deleted
inserted
replaced
74 |
74 |
75 * More plugin options and preferences, based on Isabelle/Scala. The |
75 * More plugin options and preferences, based on Isabelle/Scala. The |
76 jEdit plugin option panel provides access to some Isabelle/Scala |
76 jEdit plugin option panel provides access to some Isabelle/Scala |
77 options, including tuning parameters for editor reactivity and color |
77 options, including tuning parameters for editor reactivity and color |
78 schemes. |
78 schemes. |
|
79 |
|
80 * Dockable window "Symbols" provides some editing support for Isabelle |
|
81 symbols. |
79 |
82 |
80 * Improved editing support for control styles: subscript, superscript, |
83 * Improved editing support for control styles: subscript, superscript, |
81 bold, reset of style -- operating on single symbols or text |
84 bold, reset of style -- operating on single symbols or text |
82 selections. Cf. keyboard short-cuts C+e DOWN/UP/RIGHT/LEFT. |
85 selections. Cf. keyboard short-cuts C+e DOWN/UP/RIGHT/LEFT. |
83 |
86 |