diff options
| author | David Aspinall | 2009-09-20 22:05:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-20 22:05:54 +0000 |
| commit | 71df9d8fbd6a47a251059725349c5cd8b9664589 (patch) | |
| tree | fdda8782780e268282eec78aa65934b808133aca /pgshell | |
| parent | 48d90b7f3ff38e197586a80ea4131330be33ec27 (diff) | |
proof-script-clear-queue-spans-on-error: jump to start of error span
(if proof-follow-mode suggests following locked region)
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions