# HG changeset patch
# User wenzelm
# Date 1397513227 -7200
# Node ID f253c4948a97421ccd8bbb348dccd06abfa959e2
# Parent  4c94f631c5951faff758ecf2df582e3f82b75957
NEWS;

diff -r 4c94f631c595 -r f253c4948a97 NEWS
--- a/NEWS	Tue Apr 15 00:03:39 2014 +0200
+++ b/NEWS	Tue Apr 15 00:07:07 2014 +0200
@@ -94,7 +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.
+* Integrated spell-checker for document text, comments etc. with
+completion popup and context-menu.
 
 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
 Open text buffers take precedence over copies within the file-system.