diff options
| author | David Aspinall | 2004-06-16 21:08:32 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-06-16 21:08:32 +0000 |
| commit | f9b399baf29e5bb638c3c7921dc5471ed2b066c3 (patch) | |
| tree | 8f3c566659c0cda674f1ec5a540eb31fcb047b6f /pgshell/example.pgsh | |
| parent | 34ba22283de5d262e059eafe2dcca97d052b1dc9 (diff) | |
Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level setting.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions