NEWS
changeset 56580 f253c4948a97
parent 56554 7bef3cd6a69c
child 56591 1a59587f46ec
     1.1 --- a/NEWS	Tue Apr 15 00:03:39 2014 +0200
     1.2 +++ b/NEWS	Tue Apr 15 00:07:07 2014 +0200
     1.3 @@ -94,7 +94,8 @@
     1.4    - More reliable treatment of GUI events vs. completion popups: avoid
     1.5      loosing keystrokes with slow / remote graphics displays.
     1.6  
     1.7 -* Spell-checker support for document text, comments etc.
     1.8 +* Integrated spell-checker for document text, comments etc. with
     1.9 +completion popup and context-menu.
    1.10  
    1.11  * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
    1.12  Open text buffers take precedence over copies within the file-system.