NEWS

--- a/NEWS	Wed Aug 28 19:12:15 2013 +0200
+++ b/NEWS	Wed Aug 28 22:25:14 2013 +0200
@@ -90,6 +90,11 @@
 according to Isabelle/Scala plugin option "jedit_font_reset_size"
 (cf. keyboard shortcut C+0).
 
+* More reactive and less intrusive completion.  Plain words need to be
+at least 3 characters long to be completed (was 2 before).  Symbols
+are only completed in backslash forms, e.g. \forall or \<forall> that
+both produce the Isabelle symbol \<forall> in its Unicode rendering.
+
 
 *** Pure ***