Note: I'm currently tailoring nano-theme only for agda2-mode, for proof-general purpose, just switch to xcode-theme in init.el.
In Emacs's universe, C-x stands for holding Control and then press X, M-x stands for holding Meta key Cmd and then press X.
| Shortcuts | Functions |
|---|---|
| C-c C-return | run code to this point |
| M-p | run previous command |
| M-n | run next command |
| M-h | coq-Check |
| Shortcuts | Functions |
|---|---|
| C-l | load file |