回忆伊莎贝尔的“转到定义”命令。 （Isar，JEdit）

Question

存在一种快捷方式或命令，该快捷方式或命令允许直接进入符号或引理的定义。 （就像Emacs的GTAGS中的“ ALT +”一样）

与Coq的相反，这很方便（只是恕我直言），因为Coq必须在IDE中执行Search命令。

我忘记了应该在基于jEdit的标准Isabelle IDE中按哪种键组合查找定义。

你能提醒我吗？

Answer 1

在Windows和Linux系统上是Control键，在macOS系统上是Command键。参见Isabelle/jEdit documentation中的第1.2节。