diff options
| author | Pierre Courtieu | 2004-02-06 17:37:57 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-02-06 17:37:57 +0000 |
| commit | 1896db0889c9932a2e9ca7194eab9d7a1f762484 (patch) | |
| tree | 57c0992268aff4255f3a43c29ba98aa58694dee6 /FAQ | |
| parent | c6863ad7e93103968252646cd3b59ef3ed2eaa5d (diff) | |
adapting to coq-8.0.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions