diff options
| author | herbelin | 2003-08-12 12:57:33 +0000 |
|---|---|---|
| committer | herbelin | 2003-08-12 12:57:33 +0000 |
| commit | aed209d2a59ee71f3f4a434e8c6a6166d48f2eee (patch) | |
| tree | 74a4aa807d209035d5d40c47cde982384b84f0e8 /dev | |
| parent | d1519d9ac8dba8982e1701df7e16bb01487f445f (diff) | |
Bug et amliorations diverses
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4263 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions