NEWS
changeset 54319 219dd1028399
parent 54305 d2def195bb6b
child 54332 a38160ad741c
--- a/NEWS	Wed Oct 09 23:06:23 2013 +0200
+++ b/NEWS	Wed Oct 09 23:11:56 2013 +0200
@@ -76,6 +76,11 @@
 Isabelle/jEdit plugin instead of SideKick.  Refined table of Isabelle
 symbol abbreviations (see $ISABELLE_HOME/etc/symbols).
 
+* Standard jEdit keyboard shortcut C+b complete-word is remapped to
+isabelle.complete for explicit completion in Isabelle sources.
+INCOMPATIBILITY wrt. jEdit defaults, may have to invent new shortcuts
+to resolve conflict.
+
 * Improved support of various "minor modes" for Isabelle NEWS,
 options, session ROOT etc., with completion and SideKick tree view.