User Tools
pvs:commands
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
pvs:commands [2016/09/04 17:55] jonathan |
pvs:commands [2017/09/06 19:33] (current) jonathan |
||
|---|---|---|---|
| Line 35: | Line 35: | ||
| M-x show-proofs-theory -- Show all proofs of theory | M-x show-proofs-theory -- Show all proofs of theory | ||
| + | M-x x-show-current-proof -- show current proof under x11 | ||
| step-proof, prs (C-c C-p s) Start proof and set up for stepping | step-proof, prs (C-c C-p s) Start proof and set up for stepping | ||
pvs/commands.1473011710.txt.gz · Last modified: 2016/09/04 17:55 by jonathan
Page Tools
