Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Shortcut to go to definition

view this post on Zulip Email Gateway (Aug 22 2022 at 20:43):

From: Kevin Kappelmann <kevin.kappelmann@tum.de>
Dear list,

Is there already or can I define a shortcut in jEdit that achieves the
same result as performing CTRL+Click on an object?

Thank you and best wishes,

a sad Vim user

Last updated: Nov 21 2024 at 12:39 UTC