equal
deleted
inserted
replaced
79 options, including tuning parameters for editor reactivity and color |
79 options, including tuning parameters for editor reactivity and color |
80 schemes. |
80 schemes. |
81 |
81 |
82 * Dockable window "Symbols" provides some editing support for Isabelle |
82 * Dockable window "Symbols" provides some editing support for Isabelle |
83 symbols. |
83 symbols. |
|
84 |
|
85 * Dockable window "Monitor" shows ML runtime statistics. |
84 |
86 |
85 * Improved editing support for control styles: subscript, superscript, |
87 * Improved editing support for control styles: subscript, superscript, |
86 bold, reset of style -- operating on single symbols or text |
88 bold, reset of style -- operating on single symbols or text |
87 selections. Cf. keyboard shortcuts C+e DOWN/UP/RIGHT/LEFT. |
89 selections. Cf. keyboard shortcuts C+e DOWN/UP/RIGHT/LEFT. |
88 |
90 |
424 platform family: "linux", "macos", "windows". |
426 platform family: "linux", "macos", "windows". |
425 |
427 |
426 * The ML system is configured as regular component, and no longer |
428 * The ML system is configured as regular component, and no longer |
427 picked up from some surrounding directory. Potential INCOMPATIBILITY |
429 picked up from some surrounding directory. Potential INCOMPATIBILITY |
428 for home-made settings. |
430 for home-made settings. |
|
431 |
|
432 * Improved ML runtime statistics (heap, threads, future tasks etc.). |
429 |
433 |
430 * Discontinued support for Poly/ML 5.2.1, which was the last version |
434 * Discontinued support for Poly/ML 5.2.1, which was the last version |
431 without exception positions and advanced ML compiler/toplevel |
435 without exception positions and advanced ML compiler/toplevel |
432 configuration. |
436 configuration. |
433 |
437 |