NEWS;
authorwenzelm
Tue Apr 15 00:07:07 2014 +0200 (2014-04-15)
changeset 56580f253c4948a97
parent 56579 4c94f631c595
child 56581 af3e6576e680
NEWS;
NEWS
     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.