# 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.