equal
deleted
inserted
replaced
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 |
96 |
97 * Spell-checker support for document text, comments etc. |
97 * Integrated spell-checker for document text, comments etc. with |
|
98 completion popup and context-menu. |
98 |
99 |
99 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE. |
100 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE. |
100 Open text buffers take precedence over copies within the file-system. |
101 Open text buffers take precedence over copies within the file-system. |
101 |
102 |
102 * Improved support for Isabelle/ML, with jEdit mode "isabelle-ml" for |
103 * Improved support for Isabelle/ML, with jEdit mode "isabelle-ml" for |