回忆一下 Isabelle 的 "Go to the definition" 命令。 （伊萨尔，JEdit）
Recall Isabelle's "Go to the definition" command. (Isar, JEdit)
存在一种快捷方式或命令，可以直接进入符号或引理的定义。 （就像 Emacs 的 GTAGS 中的 "ALT+,"）
与 Coq 的相反（恕我直言），它非常方便，在 Coq 中必须在 IDE.
中执行搜索命令
我忘记了我应该按哪个键组合来查找基于 jEdit 的标准 Isabelle IDE 中的定义。
你能提醒我一下吗？
在Windows和Linux系统上是Control键，在macOS系统上是Command键。请参阅 Isabelle/jEdit documentation.
中的第 1.2 节
存在一种快捷方式或命令，可以直接进入符号或引理的定义。 （就像 Emacs 的 GTAGS 中的 "ALT+,"）
与 Coq 的相反（恕我直言），它非常方便，在 Coq 中必须在 IDE.
中执行搜索命令我忘记了我应该按哪个键组合来查找基于 jEdit 的标准 Isabelle IDE 中的定义。
你能提醒我一下吗？
在Windows和Linux系统上是Control键，在macOS系统上是Command键。请参阅 Isabelle/jEdit documentation.