NEWS

--- a/NEWS	Mon Oct 19 16:26:01 2015 +0200
+++ b/NEWS	Mon Oct 19 16:37:45 2015 +0200
@@ -53,6 +53,13 @@
 state output in the Output panel: suppressing this reduces resource
 requirements of prover time and GUI space.
 
+* Action "isabelle-emph" (with keyboard shortcut C+e LEFT) controls
+emphasized text style; the effect is visible in document output, not in
+the editor.
+
+* Action "isabelle-reset" now uses keyboard shortcut C+e BACK_SPACE,
+instead of former C+e LEFT.
+
 
 *** Document preparation ***