# HG changeset patch
# User wenzelm
# Date 1381353116 -7200
# Node ID 219dd1028399d49dc5708af1b22f0bf5848015b5
# Parent  1bdd8f541a066ee7b8529fab511285011f727a8e
NEWS;

diff -r 1bdd8f541a06 -r 219dd1028399 NEWS
--- 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.