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: Feb 27 2024 at 08:17 UTC