# HG changeset patch
# User wenzelm
# Date 1397594470 -7200
# Node ID 2cc2cb56cbdd0d3d299bea05483a274a619e623a
# Parent  f4f561bf4b07f581d61a3b1f6f7d5891bbb82034
more NEWS;

diff -r f4f561bf4b07 -r 2cc2cb56cbdd NEWS
--- a/NEWS	Tue Apr 15 22:19:07 2014 +0200
+++ b/NEWS	Tue Apr 15 22:41:10 2014 +0200
@@ -94,7 +94,8 @@
     loosing keystrokes with slow / remote graphics displays.
 
 * Integrated spell-checker for document text, comments etc. with
-completion popup and context-menu.
+completion popup and context-menu.  See also "Plugin Options /
+Isabelle / General / Spell Checker" for some system options.
 
 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
 Open text buffers take precedence over copies within the file-system.