1.1 --- a/NEWS	Thu Oct 03 17:03:20 2013 +0200
     1.2 +++ b/NEWS	Fri Oct 04 13:17:49 2013 +0200
     1.3 @@ -72,14 +72,17 @@
     1.4  be marked explicitly as required and checked in full, using check box
     1.5  or shortcut "C+e SPACE".
     1.6  
     1.7 +* Improved completion mechanism, which is now managed by the
     1.8 +Isabelle/jEdit plugin instead of SideKick.  Refined table of Isabelle
     1.9 +symbol abbreviations (see $ISABELLE_HOME/etc/symbols).
    1.10 +
    1.11 +* Improved support of various "minor modes" for Isabelle NEWS,
    1.12 +options, session ROOT etc., with completion and SideKick tree view.
    1.13 +
    1.14  * Strictly monotonic document update, without premature cancellation of
    1.15  running transactions that are still needed: avoid reset/restart of
    1.16  such command executions while editing.
    1.17  
    1.18 -* Improved completion mechanism, which is now managed by the
    1.19 -Isabelle/jEdit plugin instead of SideKick.  Refined table of Isabelle
    1.20 -symbol abbreviations (see $ISABELLE_HOME/etc/symbols).
    1.21 -
    1.22  * Support for asynchronous print functions, as overlay to existing
    1.23  document content.
    1.24