diff options
| author | David Aspinall | 2005-08-09 14:55:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-08-09 14:55:02 +0000 |
| commit | 58e948aac6bd704a6f56bf8597a3da70c0c6e206 (patch) | |
| tree | 4259a8bd76a226bf3e536ee6b92775ebf00c32a4 /pgshell | |
| parent | 97ffa89402e0d3f64d8d9565ba4f48a186adc670 (diff) | |
next-error-regexp seems to have broken; fix it against current Isabelle CVS.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions