Stream: Beginner Questions

Topic: Emacs Set Mark


view this post on Zulip 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: Sep 25 2022 at 23:25 UTC