diff options
| author | Pierre Courtieu | 2007-04-16 09:45:29 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2007-04-16 09:45:29 +0000 |
| commit | e9ad6746f96b5baa78df707ee29062dc2f3baa17 (patch) | |
| tree | 798bbdaf06ae413494ae3a6d4adf8aba95d6888e /pgshell | |
| parent | 2384d0697a9993fdae02b53584488d486e15ade7 (diff) | |
Made coq version 8.1 the default.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions