NEWS
changeset 63751 300f9782cb6f
parent 63699 6910c5ce74d3
child 63785 c882ba741244
     1.1 --- a/NEWS	Thu Sep 01 16:05:22 2016 +0200
     1.2 +++ b/NEWS	Thu Sep 01 16:12:55 2016 +0200
     1.3 @@ -120,6 +120,13 @@
     1.4  occurences of the formal entity at the caret position. This facilitates
     1.5  systematic renaming.
     1.6  
     1.7 +* Action "isabelle.keymap-merge" asks the user to resolve pending
     1.8 +Isabelle keymap changes that are in conflict with the current jEdit
     1.9 +keymap; non-conflicting changes are always applied implicitly. This
    1.10 +action is automatically invoked on Isabelle/jEdit startup and thus
    1.11 +increases chances that users see new keyboard shortcuts when re-using
    1.12 +old keymaps.
    1.13 +
    1.14  * Document markup works across multiple Isar commands, e.g. the results
    1.15  established at the end of a proof are properly identified in the theorem
    1.16  statement.