coq - The formal proof system

Age	Commit message (Expand)	Author
2016-10-19	Change the order of arguments of fig2dev.	Théo Zimmermann
2016-06-23	Makefile.doc: fix 'make doc'	Pierre Letouzey
2016-06-08	Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}	Pierre Letouzey
2015-08-17	Remove generatable documentation files from repository. (Fix bug #4315)	Guillaume Melquiond
2015-02-17	Separate index for vernacular options.	Maxime Dénès
2015-02-10	Run coqdoc on the .v files from the plugins directory. (Fix for bug #2195)	Guillaume Melquiond
2014-12-09	Port to trunk the old commit r14895 of v8.4 (styles for the stdlib documentat...	notin
2014-11-07	doc: version number in cover.html + updates in coq.inria.fr style	Pierre Letouzey
2014-10-24	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
2012-08-23	configure: get rid of the -src option and of ${COQSRC}	letouzey
2012-02-01	Improved synchronisation of stdlib index page with current library state.	herbelin
2012-01-03	Makefile.doc: attempt to solve race condition for creating doc/refman/html.	herbelin
2011-12-27	Bug 2669 and more: make full-stdlib	pboutill
2011-10-05	Force dependency of Reference-Manual.pdf over Reference-Manual.dvi	herbelin
2011-09-19	Makefile.doc: typo, index_url.txt should be index_urls.txt	letouzey
2011-09-17	Various fixes in the Makefiles	letouzey
2011-04-08	Add "make full-stdlib" to make all the doc in pdf as ask by bug 2395	pboutill
2010-09-06	Added doc/refman/coqide.eps and coqide-queries.eps to remove the need for png...	emakarov
2010-03-30	Small improvements around coqdoc (including fix for bug #2288)	herbelin
2009-09-28	Fix the stdlib doc compilation + switch all .v file to utf8	letouzey
2009-09-15	- Tentatively made order-dependency wrt .vo files a full dependency	herbelin
2009-08-25	install-doc* are PHONY	lmamane
2009-08-14	Tried to make F1 documentation tool working in CoqIDE.	herbelin
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2009-03-16	Makefile: fix ignored errors, several attempts to clarify things	letouzey
2009-02-11	Modification du style du manuel de référence	notin
2009-02-11	A few fixes for bug #2032 (backport r11857)	glondu
2009-01-30	More portable way to pipe stderr	glondu
2009-01-29	Solves some warning and hides some not-bad ones in doc. It remains a	herbelin
2009-01-27	- Fixed various Overfull in documentation.	herbelin
2009-01-18	Backporting from v8.2 to trunk:	herbelin
2009-01-08	Minor doc fixes:	msozeau
2008-12-29	Produce better html code with coqdoc and improve doc:	msozeau
2008-12-19	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin
2008-11-14	make doc ne compilait plus la doc de stdlib (bug #1996)	notin
2008-11-12	Correction du bug #1995	notin
2008-10-29	Oups...	notin
2008-10-29	Dépendance des cibles de la documentation envers les cibles de Coq	notin
2008-10-17	Suppression de la dépendance de install-doc envers doc :	notin
2008-10-14	report de la révision r11451 (nouveau style html pour le manuel de référence)	notin
2008-08-07	Suite commit #11311	notin
2008-07-28	Fix typo	glondu
2008-07-28	Use COQINSTALLPREFIX for doc too	glondu
2008-07-16	Ajout de cibles pour le manuel de référence (refman-nodep, stdlib-nodep, re...	notin
2008-06-26	Mauvaise dépendance dans Makefile.doc	notin
2008-06-25	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-13	Numéros de version dans la doc	notin
2008-06-12	Remplacement des 'cp' et 'mkdir' par 'install'	notin