diff options
| author | Pierre Courtieu | 2006-02-16 10:52:20 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-02-16 10:52:20 +0000 |
| commit | 5c3f73417729e94d234c330854e0f29171eb8470 (patch) | |
| tree | 7ec8d85a4b34621152533372b866b4f677fedaae /pgshell/example.pgsh | |
| parent | b82651c0a08377e7096a8b42348860c0bab6dec6 (diff) | |
made coq error regexp more precise
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions