Isabelle 回想伊莎贝尔'；s"；转到“定义”部分；指挥部。（伊萨尔，杰迪特）_Isabelle_Isar

Isabelle 回想伊莎贝尔'；s"；转到“定义”部分；指挥部。（伊萨尔，杰迪特）

isabelle

Isabelle 回想伊莎贝尔'；s"；转到“定义”部分；指挥部。（伊萨尔，杰迪特）,isabelle,isar,Isabelle,Isar,存在一个快捷方式或命令，允许人们直接进入符号或引理的定义。（如Emacs的GTAGS中的“ALT+，”）与Coq的相反（只是imho），它非常方便，因为Coq必须在IDE中执行搜索命令我忘了应该按哪个键组合来查找基于jEdit的标准Isabelle IDE中的定义您能提醒我一下吗？在Windows和Linux系统上是控制键，在macOS系统上是命令键。见本手册第1.2节

存在一个快捷方式或命令，允许人们直接进入符号或引理的定义。（如Emacs的GTAGS中的“ALT+，”）

与Coq的相反（只是imho），它非常方便，因为Coq必须在IDE中执行搜索命令

我忘了应该按哪个键组合来查找基于jEdit的标准Isabelle IDE中的定义

您能提醒我一下吗？

在Windows和Linux系统上是

控制

键，在macOS系统上是

命令

键。见本手册第1.2节