diff options
| author | David Aspinall | 2009-09-09 23:10:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-09 23:10:10 +0000 |
| commit | f1dc2bd435c9bb6442925b314198f312bc60c0ee (patch) | |
| tree | d81d7784186f8ea7d45785d4bc0a9a5732429945 /pgshell/example.pgsh | |
| parent | 0f1ca309aa2726d99d99c643f6a000daef940cf7 (diff) | |
proof-script-clear-queue-spans: scan less of buffer
proof-script-delete-spans: leave 'pghelp spans in place for now
pg-set-span-helphighlights: add extra FACE argument
proof-done-advancing-save, proof-make-goalsave: support proof-arbitrary-undo-positions.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions