NEWS
changeset 61483 07c8d5d8acab
parent 61473 34d1913f0b20
child 61488 d40cbf1f37c9
     1.1 --- a/NEWS	Mon Oct 19 16:26:01 2015 +0200
     1.2 +++ b/NEWS	Mon Oct 19 16:37:45 2015 +0200
     1.3 @@ -53,6 +53,13 @@
     1.4  state output in the Output panel: suppressing this reduces resource
     1.5  requirements of prover time and GUI space.
     1.6  
     1.7 +* Action "isabelle-emph" (with keyboard shortcut C+e LEFT) controls
     1.8 +emphasized text style; the effect is visible in document output, not in
     1.9 +the editor.
    1.10 +
    1.11 +* Action "isabelle-reset" now uses keyboard shortcut C+e BACK_SPACE,
    1.12 +instead of former C+e LEFT.
    1.13 +
    1.14  
    1.15  *** Document preparation ***
    1.16