This repository was archived by the owner on Nov 13, 2021. It is now read-only.
svn/V8.2beta2
git-svn-id: svn://scm.gforge.inria.fr/svn/coq/tags/V8.2beta2@11152 85f007b7-540e-0410-9357-904b9bb8a0f7
git-svn-id: svn://scm.gforge.inria.fr/svn/coq/tags/V8.2beta2@11152 85f007b7-540e-0410-9357-904b9bb8a0f7