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