coq - The formal proof system

Age	Commit message (Collapse)	Author
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin
	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
2004-09-03	MAJ	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8584 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-22	Ajout option -xml	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8478 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-05	correction bugs commit precedent et mise en forme html	coq
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8456 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-30	modif generales claude	coq
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8455 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-23	Ajout nouvelles options	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8367 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-16	MAJ V7.1	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8247 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-16	MAJ V7.1	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8246 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-06	mise a jour V7	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8167 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-03	mise a jour V7 de la commande Extraction, et des options de coqtop et coqc	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8162 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-15	divers	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8148 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-15	config avec autoconf	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8146 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-12	Initial revision	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8143 85f007b7-540e-0410-9357-904b9bb8a0f7