*** 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. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev