Revision 6d60ea89a2ef5eff3099815610c573b362e224c4

ProofGeneral

よく使うキーバインド

command action
C-c C-n 1ステップ進む
C-c C-u 1ステップ戻る
C-c C-Enter カーソル位置まで進める
C-c C-a C-o SearchPattern
C-c C-a C-p Print
C-c C-a C-c Check
C-c C-a C-s Show
C-c C-a C-l Locate

詳細はこちら: ProofGeneral/Keybinds