[isabelle-dev] NEWS: isabelle.keymap-merge

Makarius makarius at sketis.net
Thu Sep 1 17:55:37 CEST 2016

*** Prover IDE -- Isabelle/Scala/jEdit ***

* Action "isabelle.keymap-merge" asks the user to resolve pending
Isabelle keymap changes that are in conflict with the current jEdit
keymap; non-conflicting changes are always applied implicitly. This
action is automatically invoked on Isabelle/jEdit startup and thus
increases chances that users see new keyboard shortcuts when re-using
old keymaps.

This refers to Isabelle/a9159d30070f.

Quite a lot special Isabelle/jEdit keyboard shortcuts have emerged in
the past few years. It is usually advisable to use these defaults, even
if some old habits need to be changed.

There might be nonetheless odd effects and platform-specific conflicts
that have not been noticed in the past. Please report any such observations.


More information about the isabelle-dev mailing list