NEWS

--- a/NEWS	Sat Apr 12 21:44:38 2014 +0200
+++ b/NEWS	Sat Apr 12 21:58:58 2014 +0200
@@ -94,6 +94,8 @@
   - More reliable treatment of GUI events vs. completion popups: avoid
     loosing keystrokes with slow / remote graphics displays.
 
+* Spell-checker support for document text, comments etc.
+
 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
 Open text buffers take precedence over copies within the file-system.