存在一种快捷方式或命令，可以直接进入符号或引理的定义。（就像 Emacs 的 GTAGS 中的“ALT+”）
与 Coq 的相反（只是恕我直言），它非常方便，其中一个必须在 IDE 中执行 Search 命令。
我忘记了应该按哪个组合键在基于 jEdit 的标准 Isabelle IDE 中查找定义。
你能提醒我一下吗？
问问题
78 次
1 回答
1
它是ControlWindows 和 Linux 系统上的Command密钥，也是 macOS 系统上的密钥。请参阅Isabelle/jEdit 文档中的第 1.2 节。
于 2019-09-16T07:46:45.823 回答