diff options
| author | David Aspinall | 2004-04-24 11:06:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-24 11:06:31 +0000 |
| commit | dab8ee05775e82974bed947d585037e1c1d9e64b (patch) | |
| tree | cf1f0bd7a74ad92c97a4af796dd10baee3fdd6d2 /pgshell/example.pgsh | |
| parent | dad83c7b9cfe214e54efb8739a1a8f49d5cbb3be (diff) | |
Add proof-shell-require-command-regexp, proof-done-advancing-require-function
to support multiple files in Coq.
Move some keybindings to proof-universal-keys (esp. C-c C-l).
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions