Yosuke Ito (Aug 01 2021 at 05:37): Yosuke Ito (Aug 01 2021 at 05:37):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: Dec 30 2024 at 16:22 UTC