coq/doc/newfaq, branch master The formal proof system Nettoyage de l'archive doc et restructuration avant intégration à l'archive 2006-02-23T13:58:10+00:00 herbelin 2006-02-23T13:58:10+00:00 6cf8d80ac0a9869d97373d6813441eabebce8980 principale de Coq et publication des sources (HH) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8606 85f007b7-540e-0410-9357-904b9bb8a0f7 
principale de Coq et publication des sources (HH)


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8606 85f007b7-540e-0410-9357-904b9bb8a0f7
Pourquoi math goal parfois interdit 2005-10-14T16:07:59+00:00 herbelin 2005-10-14T16:07:59+00:00 cf81bb6f4ca367b3362e6826b335804cdb0e012d git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8604 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8604 85f007b7-540e-0410-9357-904b9bb8a0f7
Correction sur signification induction double 2004-12-05T14:40:16+00:00 herbelin 2004-12-05T14:40:16+00:00 d1b587966c4bb33d5cf2dcdd4eb489118321fa17 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8595 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8595 85f007b7-540e-0410-9357-904b9bb8a0f7
question pierre corrige 2004-10-08T08:58:37+00:00 narboux 2004-10-08T08:58:37+00:00 3fc11ed63a3d9f29a43a9e98bc5483111b859b59 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8588 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8588 85f007b7-540e-0410-9357-904b9bb8a0f7
ajout question Pierre 2004-10-07T14:02:16+00:00 narboux 2004-10-07T14:02:16+00:00 6fbfe777d3a02575963579fb3027c6b9585ec6aa git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8587 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8587 85f007b7-540e-0410-9357-904b9bb8a0f7
minor ~ correction in coq'art url 2004-10-04T13:40:55+00:00 kirchner 2004-10-04T13:40:55+00:00 b16e11f9540809626ae6d1ec6afcf63f4fe50d14 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8586 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8586 85f007b7-540e-0410-9357-904b9bb8a0f7
Probl�mes hevea + question evars 2004-08-03T21:49:18+00:00 herbelin 2004-08-03T21:49:18+00:00 0d2e40ca62568ec9206bf71356770199a237d37e git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8583 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8583 85f007b7-540e-0410-9357-904b9bb8a0f7
Finalisation avant publication 2004-08-03T21:15:26+00:00 herbelin 2004-08-03T21:15:26+00:00 7e286ec71079e1064f9f92fd1d0c6320034679cb git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8582 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8582 85f007b7-540e-0410-9357-904b9bb8a0f7
bibtex et hevea 2004-08-03T21:14:32+00:00 herbelin 2004-08-03T21:14:32+00:00 5fdbd65d54f6ce49aea432ce460db0ec94d87562 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8581 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8581 85f007b7-540e-0410-9357-904b9bb8a0f7
Pr�noms 2004-08-03T21:14:07+00:00 herbelin 2004-08-03T21:14:07+00:00 6314513ab93cb43a7c40c4ea7b728b48c4b723a7 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8580 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8580 85f007b7-540e-0410-9357-904b9bb8a0f7