1.1 --- a/NEWS	Thu Aug 29 10:01:59 2013 +0200
     1.2 +++ b/NEWS	Thu Aug 29 10:24:43 2013 +0200
     1.3 @@ -90,10 +90,11 @@
     1.4  according to Isabelle/Scala plugin option "jedit_font_reset_size"
     1.5  (cf. keyboard shortcut C+0).
     1.6  
     1.7 -* More reactive and less intrusive completion.  Plain words need to be
     1.8 -at least 3 characters long to be completed (was 2 before).  Symbols
     1.9 -are only completed in backslash forms, e.g. \forall or \<forall> that
    1.10 -both produce the Isabelle symbol \<forall> in its Unicode rendering.
    1.11 +* More reactive and less intrusive completion, managed by
    1.12 +Isabelle/jEdit instead of SideKick.  Plain words need to be at least 3
    1.13 +characters long to be completed (was 2 before).  Symbols are only
    1.14 +completed in backslash forms, e.g. \forall or \<forall> that both
    1.15 +produce the Isabelle symbol \<forall> in its Unicode rendering.
    1.16  
    1.17  * Improved support for Linux look-and-feel "GTK+", see also "Utilities
    1.18  / Global Options / Appearance".