more NEWS;
authorwenzelm
Tue Apr 15 22:41:10 2014 +0200 (2014-04-15)
changeset 565982cc2cb56cbdd
parent 56597 f4f561bf4b07
child 56599 c4424d8c890f
more NEWS;
NEWS
     1.1 --- a/NEWS	Tue Apr 15 22:19:07 2014 +0200
     1.2 +++ b/NEWS	Tue Apr 15 22:41:10 2014 +0200
     1.3 @@ -94,7 +94,8 @@
     1.4      loosing keystrokes with slow / remote graphics displays.
     1.5  
     1.6  * Integrated spell-checker for document text, comments etc. with
     1.7 -completion popup and context-menu.
     1.8 +completion popup and context-menu.  See also "Plugin Options /
     1.9 +Isabelle / General / Spell Checker" for some system options.
    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.