coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	- Tentatively made order-dependency wrt .vo files a full dependency	herbelin	2009-09-15
*	install-doc* are PHONY	lmamane	2009-08-25
*	Tried to make F1 documentation tool working in CoqIDE.	herbelin	2009-08-14
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	Makefile: fix ignored errors, several attempts to clarify things	letouzey	2009-03-16
*	Modification du style du manuel de référence	notin	2009-02-11
*	A few fixes for bug #2032 (backport r11857)	glondu	2009-02-11
*	More portable way to pipe stderr	glondu	2009-01-30
*	Solves some warning and hides some not-bad ones in doc. It remains a	herbelin	2009-01-29
*	- Fixed various Overfull in documentation.	herbelin	2009-01-27
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	Minor doc fixes:	msozeau	2009-01-08
*	Produce better html code with coqdoc and improve doc:	msozeau	2008-12-29
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	make doc ne compilait plus la doc de stdlib (bug #1996)	notin	2008-11-14
*	Correction du bug #1995	notin	2008-11-12
*	Oups...	notin	2008-10-29
*	Dépendance des cibles de la documentation envers les cibles de Coq	notin	2008-10-29
*	Suppression de la dépendance de install-doc envers doc :	notin	2008-10-17
*	report de la révision r11451 (nouveau style html pour le manuel de référence)	notin	2008-10-14
*	Suite commit #11311	notin	2008-08-07
*	Fix typo	glondu	2008-07-28
*	Use COQINSTALLPREFIX for doc too	glondu	2008-07-28
*	Ajout de cibles pour le manuel de référence (refman-nodep, stdlib-nodep, re...	notin	2008-07-16
*	Mauvaise dépendance dans Makefile.doc	notin	2008-06-26
*	Report de la révision #11175 de la branche v8.2 vers le trunk	notin	2008-06-25
*	Installation de la documentation	notin	2008-06-25
*	Numéros de version dans la doc	notin	2008-06-13
*	Remplacement des 'cp' et 'mkdir' par 'install'	notin	2008-06-12
*	2-3 petites modifs sur la doc	notin	2008-06-10
*	MAJ crédits	herbelin	2008-05-19
*	- Changement du code de Zplus pour accomoder ring qui sinon prend une	herbelin	2008-05-11
*	Efficacité, bugs, robustesse CoqIDE	herbelin	2008-05-08
*	Pour engendrer version.tex, adoption de printf qui, au contraire de	herbelin	2008-04-18
*	pbm avec echo	filliatr	2008-04-18
*	Fix examples in Program documentation and add comindexes for the various	msozeau	2008-03-23
*	Petits oublis dans Makefile.doc	notin	2008-02-20
*	Suppression d'un include et de 2 variables inutiles	notin	2008-02-15
*	Plongement de doc/Makefile dans la nouvelle architecutre des Makefile	notin	2008-02-14