diff options
| author | David Aspinall | 2004-04-13 18:22:24 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-13 18:22:24 +0000 |
| commit | 4a3d4d376b2cb7b879918a3b4818e624ec57c907 (patch) | |
| tree | a98842096dd561732a1f62be8f557b15df029a44 /pgshell/example.pgsh | |
| parent | 3812725e6dc8911f6112909e3c814993d3e37ded (diff) | |
Set proof-goal-with-hole-result to account for use of shy grouping in goal-with-hole regexp.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions