Revision bce49f0df4ffde049ced944a2047cda6ae55fbc4

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

詳細はこちら: ProofGeneral/Keybinds