coq/doc/README, branch master The formal proof system Mise à jour des fichiers README et INSTALL de la doc (bug #1921) + suppression de la dépendance envers aeguill (bug #1922) 2008-08-06T15:34:14+00:00 notin 2008-08-06T15:34:14+00:00 2592766937df60484f15d5050e5bfe6623c83390 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11311 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11311 85f007b7-540e-0410-9357-904b9bb8a0f7
Mise à jour des Makefile, ajout licences, corrections mineures suite à 2006-02-23T14:21:14+00:00 herbelin 2006-02-23T14:21:14+00:00 015781acfe4a2a75eeced513528b389cae9fb0a3 restructuration du répertoire de documentation git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8607 85f007b7-540e-0410-9357-904b9bb8a0f7 
restructuration du répertoire de documentation


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8607 85f007b7-540e-0410-9357-904b9bb8a0f7
version et style 2003-12-01T15:40:29+00:00 marche 2003-12-01T15:40:29+00:00 8b827e1540166eed6cdd8f603eb9eb1a5e42ec84 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8371 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8371 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ V7.3 2002-05-16T15:49:49+00:00 herbelin 2002-05-16T15:49:49+00:00 dd507b21f2125c460c8c8462a485bf56a0d04c73 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8280 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8280 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ 7.2 2001-12-23T13:18:05+00:00 herbelin 2001-12-23T13:18:05+00:00 c32a1232598efeda80a7b13f504c13a1a4f8a360 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8263 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8263 85f007b7-540e-0410-9357-904b9bb8a0f7
MAJ V7.1 2001-09-26T15:26:11+00:00 herbelin 2001-09-26T15:26:11+00:00 182291d8c9ece57e730ac79b4f2d9825f7d14e19 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8231 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8231 85f007b7-540e-0410-9357-904b9bb8a0f7
Initial revision 2000-12-12T22:36:15+00:00 filliatr 2000-12-12T22:36:15+00:00 b6018c78b25da14d4f44cf10de692f968cba1e98 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8143 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8143 85f007b7-540e-0410-9357-904b9bb8a0f7