coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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-09-26
*	Fix various typos in documentation	Matěj Grabovský	2015-03-31
*	Fix index of reference manual.	Guillaume Melquiond	2015-01-29
*	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	2014-12-09
*	Reference Manual: misc fixes (spelling, index, updating pre-8.0 syntax).	herbelin	2011-12-26
*	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	2010-04-09
*	Update coqdoc documentation, CHANGES and add a fix for the proofbox (patch	msozeau	2009-09-08
*	- MAJ entêtes des fichiers produits par coq_makefile	herbelin	2007-05-16
*	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov	2007-04-17
*	Eliminated warning messages from Hevea. Most warning messages were	emakarov	2007-04-10
*	Ajout de la doc de l'option -stdout de coqdoc	notin	2006-04-27
*	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin	2006-02-23