1

シンボルや補題の定義に直行できるショートカットやコマンドが存在します。(Emacs の GTAGS の「ALT+」のように)

IDEで検索コマンドを実行する必要があるCoqのものとは対照的に（ただ私見ですが）非常に便利です。

jEdit に基づく標準の Isabelle IDE で定義を検索するには、どのキーの組み合わせを押せばよいか忘れてしまいます。

思い出していただけますか？

4

1 に答える 1