coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Precision	herbelin	2006-01-23
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7920 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	barras	2006-01-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7803 85f007b7-540e-0410-9357-904b9bb8a0f7
*	windows install	narboux	2005-11-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7552 85f007b7-540e-0410-9357-904b9bb8a0f7
*	ajout de l'entree dans le menu	narboux	2005-11-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7551 85f007b7-540e-0410-9357-904b9bb8a0f7
*	typo	narboux	2005-11-09
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7548 85f007b7-540e-0410-9357-904b9bb8a0f7
*	ajout installer windows	narboux	2005-11-09
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7547 85f007b7-540e-0410-9357-904b9bb8a0f7
*	ajout splashscreen	narboux	2005-11-09
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7546 85f007b7-540e-0410-9357-904b9bb8a0f7
*	ajout splash screen	narboux	2005-11-09
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7544 85f007b7-540e-0410-9357-904b9bb8a0f7
*	set home	narboux	2005-11-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7540 85f007b7-540e-0410-9357-904b9bb8a0f7
*	installer windows	narboux	2005-11-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7539 85f007b7-540e-0410-9357-904b9bb8a0f7
*	generation auto des .bat	narboux	2005-11-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7537 85f007b7-540e-0410-9357-904b9bb8a0f7
*	uninstall ok	narboux	2005-11-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7534 85f007b7-540e-0410-9357-904b9bb8a0f7
*	un peu mieux mais pas encore ca	narboux	2005-11-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7533 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coq icon	narboux	2005-11-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7523 85f007b7-540e-0410-9357-904b9bb8a0f7
*	installer windows travail en cours	narboux	2005-11-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7522 85f007b7-540e-0410-9357-904b9bb8a0f7
*	scprit for windows install program	narboux	2005-11-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7517 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout maj répertoire d'archivage par version de Coq	herbelin	2005-10-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7429 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ pauillac -> yquem	herbelin	2005-10-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7426 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Procédure d'ajout d'une nouvelle contributions utilisateur	herbelin	2005-08-01
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7261 85f007b7-540e-0410-9357-904b9bb8a0f7
*	rename INSTALL.win INSTALL.txt to ease opening	narboux	2005-07-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7259 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2005-07-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7195 85f007b7-540e-0410-9357-904b9bb8a0f7
*	the package script disappeared in MacOS 10.3: we locally copy the 10.2 version	herbelin	2005-03-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6799 85f007b7-540e-0410-9357-904b9bb8a0f7
*	sed ne connait pas '+' sur macosx	herbelin	2005-01-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6636 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2004-07-30
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5998 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Unbind the macosx dmg after creation to be able to build it again safely	herbelin	2004-07-30
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5997 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ cible patch	herbelin	2004-07-29
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5991 85f007b7-540e-0410-9357-904b9bb8a0f7
*	camlp4 maintenant intégré à ocaml	herbelin	2004-07-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5946 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MacOS X dans /usr/local	herbelin	2004-06-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5790 85f007b7-540e-0410-9357-904b9bb8a0f7
*	test de conversion laissait echapper exception NotConvertible	barras	2004-05-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5746 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Dépendance en $(RPMTOPDIR)	herbelin	2004-04-30
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5715 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Position du %defattr importante	herbelin	2004-04-30
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5714 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	barras	2004-04-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5696 85f007b7-540e-0410-9357-904b9bb8a0f7
*	amelioration des specs RPM	barras	2004-04-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5692 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Typo	herbelin	2004-04-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5681 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ setup	herbelin	2004-04-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5680 85f007b7-540e-0410-9357-904b9bb8a0f7
*	preparation a la release 8.0	barras	2004-04-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5655 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	barras	2004-03-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5549 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ macosx	herbelin	2004-03-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5530 85f007b7-540e-0410-9357-904b9bb8a0f7
*	install de pcoq incorrect + spec rpm	barras	2004-03-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5503 85f007b7-540e-0410-9357-904b9bb8a0f7
*	preparation pour release (suite)	barras	2004-03-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5497 85f007b7-540e-0410-9357-904b9bb8a0f7
*	preparation packages V8.0-cdrom	barras	2004-03-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5492 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coq.spec n\'est plus parametre	barras	2004-03-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5470 85f007b7-540e-0410-9357-904b9bb8a0f7
*	- fixed the Assert_failure error in kernel/modops	barras	2004-02-18
\| \| \| \| \| \| \| \| \|	- fixed the problem with passing atomic tactics to ltacs - restructured the distrib Makefile (can build a package from the CVS working dir) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5358 85f007b7-540e-0410-9357-904b9bb8a0f7
*	meilleure separation de compil et install de coq, coqide et coq-interface	barras	2004-01-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5256 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Finalisation du mecanisme de creation du rpm coqide	herbelin	2004-01-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5186 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Version 1 pour coqide	herbelin	2004-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5180 85f007b7-540e-0410-9357-904b9bb8a0f7
*	pas ide	herbelin	2004-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5179 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ rpm	herbelin	2004-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5178 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2004-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5177 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ 8.0	herbelin	2003-12-28
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5158 85f007b7-540e-0410-9357-904b9bb8a0f7