coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Separate index for vernacular options.	Maxime Dénès	2015-02-17
*	Run coqdoc on the .v files from the plugins directory. (Fix for bug #2195)	Guillaume Melquiond	2015-02-10
*	Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat...	notin	2014-12-09
*	doc: version number in cover.html + updates in coq.inria.fr style	Pierre Letouzey	2014-11-07
*	Install index_urls.txt in a location where coqide might actually find it.	Guillaume Melquiond	2014-10-24
*	Fix generation of the index_urls.txt file.	Guillaume Melquiond	2014-10-24
*	configure: get rid of the -src option and of ${COQSRC}	letouzey	2012-08-23
*	Improved synchronisation of stdlib index page with current library state.	herbelin	2012-02-01
*	Makefile.doc: attempt to solve race condition for creating doc/refman/html.	herbelin	2012-01-03
*	Bug 2669 and more: make full-stdlib	pboutill	2011-12-27
*	Force dependency of Reference-Manual.pdf over Reference-Manual.dvi	herbelin	2011-10-05
*	Makefile.doc: typo, index_url.txt should be index_urls.txt	letouzey	2011-09-19
*	Various fixes in the Makefiles	letouzey	2011-09-17
*	Add "make full-stdlib" to make all the doc in pdf as ask by bug 2395	pboutill	2011-04-08
*	Added doc/refman/coqide.eps and coqide-queries.eps to remove the need for png...	emakarov	2010-09-06
*	Small improvements around coqdoc (including fix for bug #2288)	herbelin	2010-03-30
*	Fix the stdlib doc compilation + switch all .v file to utf8	letouzey	2009-09-28
*	- 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