equal
deleted
inserted
replaced
91 selection (multiple selections, rectangular selections, |
91 selection (multiple selections, rectangular selections, |
92 rectangular selection as "tall caret"). |
92 rectangular selection as "tall caret"). |
93 |
93 |
94 - More reliable treatment of GUI events vs. completion popups: avoid |
94 - More reliable treatment of GUI events vs. completion popups: avoid |
95 loosing keystrokes with slow / remote graphics displays. |
95 loosing keystrokes with slow / remote graphics displays. |
|
96 |
|
97 * Spell-checker support for document text, comments etc. |
96 |
98 |
97 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE. |
99 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE. |
98 Open text buffers take precedence over copies within the file-system. |
100 Open text buffers take precedence over copies within the file-system. |
99 |
101 |
100 * Improved support for Isabelle/ML, with jEdit mode "isabelle-ml" for |
102 * Improved support for Isabelle/ML, with jEdit mode "isabelle-ml" for |