diff options
| author | Hendrik Tews | 2021-03-17 08:37:38 +0100 |
|---|---|---|
| committer | Hendrik Tews | 2021-04-16 22:53:05 +0200 |
| commit | f7943ba646c258a0a4a5b397b8a920d5d13ecf31 (patch) | |
| tree | 26647718255a8a6f04f51123fe9e67ec0255603a /previous-art | |
| parent | e454ae013827b98b814c99ffbc1ca7f2525fb030 (diff) | |
prefix arg for temporarily disabling omitting proofs
Make proof-goto-point and proof-process-buffer prefix argument
aware. With argument, both commands temporarily switch off
proof-omit-proofs-option, such that all proofs are completely
processed for one particular invocation.
Diffstat (limited to 'previous-art')
0 files changed, 0 insertions, 0 deletions