diff options
| author | herbelin | 2005-05-05 20:59:29 +0000 |
|---|---|---|
| committer | herbelin | 2005-05-05 20:59:29 +0000 |
| commit | c7487f228191554b3c7d31ffaf27bc3120c2999d (patch) | |
| tree | 3d9f055c0bb3daa75da598c20d2c69b336cac18f /doc/tutorial | |
| parent | 366933d4d1c922a34eb28ac4b61f15a620c1e01c (diff) | |
Correction du bug de contraintes d'univers dans exType (mentionn� par Georges Gonthier) + diverses corrections de l'anglais US
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8599 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions