diff options
| author | Pierre Courtieu | 2006-12-12 10:48:39 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-12-12 10:48:39 +0000 |
| commit | 987c4a3f3302a56af59cce103d9846043d49633b (patch) | |
| tree | 921ca91cb940f3c64498000f6f7ca83093a27f94 /pgshell/example.pgsh | |
| parent | 7cfe98c3398b78866d7cfab6989922fe231cb130 (diff) | |
Fixed coq 8.0 compatibility and coq version detection.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions