Revision 4d13b60a1cc157a21cd15e8ad0801ad9b2e6031f
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 |
| 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 |