coq - The formal proof system

Age	Commit message (Collapse)	Author
2008-06-07	Fix library index template and associated script.	msozeau
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11067 85f007b7-540e-0410-9357-904b9bb8a0f7
2008-05-26	Fix bashism in doc generation.	glondu
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10986 85f007b7-540e-0410-9357-904b9bb8a0f7
2008-03-19	migration of the old IntMap library from StdLib to a user contrib ↵	letouzey
	(Cachan/IntMap) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10699 85f007b7-540e-0410-9357-904b9bb8a0f7
2008-02-27	Bug dans la génération de la stdlib	notin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10595 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-11-28	Ajout de l'axiomatisation des entiers à la documentation de la librairie ↵	notin
	standard git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10343 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-08-08	A better Program documentation. Include it in the generated stdlib doc.	msozeau
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10061 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-07-25	Modifications de la construction de la documentation de la librairie	notin
	standard: - ajout d'une entrée dans le Makefile principal pour le fichier de globalisations glob.dump - modifications de doc/Makefile et de l'index html pour gérer les nouveaux fichiers de la librairie standard (en part. ceux dans Ints) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10049 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-03-25	r8708@thot: notin \| 2006-03-24 18:55:01 +0100	notin
	Correction d'un bug sur la génération de la doc de stdlib git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8662 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-02-23	Mise à jour des Makefile, ajout licences, corrections mineures suite à	herbelin
	restructuration du répertoire de documentation git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8607 85f007b7-540e-0410-9357-904b9bb8a0f7