diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-12-21 23:15:50 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-12-21 23:15:50 +0000 |
| commit | 4a5523694f0b3da2b6c7e6ee7a4b03dc402d4205 (patch) | |
| tree | 7add1e5a683d1da71b6d8b74725af0f04c6612f7 /test-suite/modules | |
| parent | b73047dadb0b915ec9108285e6cd28bd73cde2fd (diff) | |
Activation du test de Refine en v7 pour mémoire avant passage à la v8
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7688 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'test-suite/modules')
0 files changed, 0 insertions, 0 deletions