coq/doc/configure, branch master The formal proof system abandon de autonconf au profit de variables d'environnement 2001-04-19T11:52:57+00:00 filliatr 2001-04-19T11:52:57+00:00 1059d8e4ab77f5e6a09fc025432e88ed80daa9db git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8191 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8191 85f007b7-540e-0410-9357-904b9bb8a0f7
config avec autoconf 2000-12-15T10:22:46+00:00 filliatr 2000-12-15T10:22:46+00:00 2ccb521cf21c1db3d3c49cc547cb446f54f49dd6 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8146 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8146 85f007b7-540e-0410-9357-904b9bb8a0f7