coq - The formal proof system

Age	Commit message (Expand)	Author
2018-04-10	[Sphinx] Add chapter 15	Laurent Théry
2015-09-26	Documenting how to support some special unicode characters in coqdoc	Hugo Herbelin
2015-09-26	Clarifying the doc of coqdoc --utf8 as discussed on coq-club on August 19, 2015.	Hugo Herbelin
2015-03-31	Fix various typos in documentation	Matěj Grabovský
2015-01-29	Fix index of reference manual.	Guillaume Melquiond
2014-12-09	refman: switch all source files to utf8	Pierre Letouzey
2014-12-09	refman: fix broken urls	Pierre Letouzey
2014-12-09	refman/coqdoc.tex: fix two erroneous \url	Pierre Letouzey
2011-12-26	Reference Manual: misc fixes (spelling, index, updating pre-8.0 syntax).	herbelin
2010-04-09	Documenting the use of ##, %%, $$ in coqdoc.	herbelin
2010-04-09	Applied Cédric Auger's patch to fix use of "#&xxx;" in html printing	herbelin
2009-09-08	Update coqdoc documentation, CHANGES and add a fix for the proofbox (patch	msozeau
2007-05-16	- MAJ entêtes des fichiers produits par coq_makefile	herbelin
2007-04-17	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov
2007-04-10	Eliminated warning messages from Hevea. Most warning messages were	emakarov
2006-04-27	Ajout de la doc de l'option -stdout de coqdoc	notin
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin