coq/LICENSE, branch master The formal proof system fix pour install windows 2005-11-09T10:43:09+00:00 narboux 2005-11-09T10:43:09+00:00 e9289aeac88a828b82dceb05f67b5de5ff5274bd git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7545 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7545 85f007b7-540e-0410-9357-904b9bb8a0f7
Ajout d'un fichier license 2001-03-09T08:10:22+00:00 mohring 2001-03-09T08:10:22+00:00 514e414726234535a816b4710dd12e47a0845205 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1440 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1440 85f007b7-540e-0410-9357-904b9bb8a0f7