Dear Isabelle users,
Hello, I am new to Isabelle/jEdit. I am accustomed to Emacs, so I'd like to set the shortcuts in Emacs style. It went well in most cases, but the command
Emacs Set Mark does not work. When I invoke the command, the message "Input/output complete" appears in the minibuffer, and nothing happens in the editing area.
Does anyone have an idea to fix it? I tried the various shortcut keys but all fail.
I use macOS Big Sur (version 11.5.1), Isabelle2021. (The keyboard is Japanese style.)
Last updated: Sep 22 2023 at 12:28 UTC