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 * Improved editing support for control styles: subscript, superscript, |
|
81 bold, reset of style -- operating on single symbols or text |
|
82 selections. Cf. keyboard short-cuts C+e DOWN/UP/RIGHT/LEFT. |
79 |
83 |
80 * Uniform Java 7 platform on Linux, Mac OS X, Windows: recent updates |
84 * Uniform Java 7 platform on Linux, Mac OS X, Windows: recent updates |
81 from Oracle provide better multi-platform experience. This version is |
85 from Oracle provide better multi-platform experience. This version is |
82 now bundled exclusively with Isabelle. |
86 now bundled exclusively with Isabelle. |
83 |
87 |