diff options
| author | herbelin | 2003-09-12 22:35:35 +0000 |
|---|---|---|
| committer | herbelin | 2003-09-12 22:35:35 +0000 |
| commit | ca1ac8b00547240a75ead61b32f7f726acd36404 (patch) | |
| tree | 05f5c4b974fcc6a299b2d464fdb33fcb49dbfc33 /kernel/type_errors.mli | |
| parent | 8efaddd7df1603091fa27a10ad7c184b4241bebb (diff) | |
Retour à des cibles plus explicites: world7 et world8, install7 et install8
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4394 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions