Revision 32d9a350b33c35d5e9eab9b6a02ab21edb4da3cc
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 | |
| C-c C-a C-c | Check |
詳細はこちら: ProofGeneral/Keybinds
| 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 | |
| C-c C-a C-c | Check |
詳細はこちら: ProofGeneral/Keybinds