# HG changeset patch
# User wenzelm
# Date 1380885469 -7200
# Node ID d2def195bb6b94303ca474ccad5983b516a3df65
# Parent  65c6a00ff86b86e66beff74aa1b5b263dfba9c9d
NEWS;

diff -r 65c6a00ff86b -r d2def195bb6b NEWS
--- a/NEWS	Thu Oct 03 17:03:20 2013 +0200
+++ b/NEWS	Fri Oct 04 13:17:49 2013 +0200
@@ -72,14 +72,17 @@
 be marked explicitly as required and checked in full, using check box
 or shortcut "C+e SPACE".
 
+* Improved completion mechanism, which is now managed by the
+Isabelle/jEdit plugin instead of SideKick.  Refined table of Isabelle
+symbol abbreviations (see $ISABELLE_HOME/etc/symbols).
+
+* Improved support of various "minor modes" for Isabelle NEWS,
+options, session ROOT etc., with completion and SideKick tree view.
+
 * Strictly monotonic document update, without premature cancellation of
 running transactions that are still needed: avoid reset/restart of
 such command executions while editing.
 
-* Improved completion mechanism, which is now managed by the
-Isabelle/jEdit plugin instead of SideKick.  Refined table of Isabelle
-symbol abbreviations (see $ISABELLE_HOME/etc/symbols).
-
 * Support for asynchronous print functions, as overlay to existing
 document content.