1.1 --- a/NEWS Wed Oct 09 23:06:23 2013 +0200
1.2 +++ b/NEWS Wed Oct 09 23:11:56 2013 +0200
1.3 @@ -76,6 +76,11 @@
1.4 Isabelle/jEdit plugin instead of SideKick. Refined table of Isabelle
1.5 symbol abbreviations (see $ISABELLE_HOME/etc/symbols).
1.6
1.7 +* Standard jEdit keyboard shortcut C+b complete-word is remapped to
1.8 +isabelle.complete for explicit completion in Isabelle sources.
1.9 +INCOMPATIBILITY wrt. jEdit defaults, may have to invent new shortcuts
1.10 +to resolve conflict.
1.11 +
1.12 * Improved support of various "minor modes" for Isabelle NEWS,
1.13 options, session ROOT etc., with completion and SideKick tree view.
1.14