coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Correct some spelling errorsmaster	Benjamin Barenblat	2018-07-22
*	Remove fourier plugin	Maxime Dénès	2018-07-17
*	coqdoc Index.find_string: remove unused argument.	Gaëtan Gilbert	2018-07-03
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Fixing #5648 (too early decision of tagging ident as keyword in html coqdoc).	Hugo Herbelin	2017-07-15
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Merge PR#692: Fail on deprecated warning even for Ocaml > 4.02.3	Maxime Dénès	2017-05-30
\|\
\| *	Fail on deprecated warning even for Ocaml > 4.02.3	Gaëtan Gilbert	2017-05-28
* \|	[coqdoc] Add keywords in bug 2884.	Emilio Jesus Gallego Arias	2017-05-20
\|/
*	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Documenting how to support some special unicode characters in coqdoc	Hugo Herbelin	2015-09-26
*	Do not escape "'" when outputting to html, especially not using "´".	Guillaume Melquiond	2015-03-31
*	Update headers.	Maxime Dénès	2015-01-12
*	coqdoc: fix a few issues with xhtml validity (backport 1636f7 and 754abf1 fro...	Pierre Letouzey	2014-12-09
*	Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document...	notin	2014-12-09
*	Use the url package, since coqdoc generates \url commands.	Guillaume Melquiond	2014-10-27
*	Add a [Variant] declaration which allows to write non-recursive variant types.	Arnaud Spiwack	2014-09-04
*	Mark lazymatch as an Ltac keyword for coqdoc. (Fix for bug #3276)	Guillaume Melquiond	2014-04-28
*	Fixing coqdoc bug #3292 (unfortunate collision betweens the relative	Hugo Herbelin	2014-04-28
*	Renaming SearchAbout into Search and Search into SearchHead.	herbelin	2013-04-17
*	Removed dead code about linking Module names in coqdoc.	herbelin	2012-10-16
*	still some more dead code removal	letouzey	2012-10-06
*	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia	2012-09-14
*	Coqdoc: fix --utf8 bug for pretty printing	pboutill	2012-09-07
*	Updating headers.	herbelin	2012-08-08
*	Coqdoc inlined verbatim_char in latex	pboutill	2012-08-06
*	Add inline verbatim (<</>>), quotes (") and urls ({{url} name}) markup/typese...	pboutill	2012-08-06
*	Coqdoc: More keywords, better special char escape, special case for "in *"	pboutill	2012-08-05
*	Various minor fixes to coqdoc from A. Chlipala.	msozeau	2012-07-18
*	Fix handling of space after "Notation" or "where", add missing keywords.	msozeau	2012-02-16
*	Fixed broken globalization of identifiers containing utf8 letters	herbelin	2011-10-29
*	Added checksums to glob files and warned about possibly missing	herbelin	2011-10-29
*	Remove the "Boxed" syntaxes and the const_entry_boxed field	letouzey	2011-01-28
*	Better fix to bug #2183 ("moduleid" internal name got exposed to users	herbelin	2010-12-04
*	Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces the	msozeau	2010-09-28
*	Minor fixes of 'make doc'	pboutill	2010-09-28
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove compile-command pragmas for emacs	letouzey	2010-05-19
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Applied Cédric Auger's patch to fix use of "#&xxx;" in html printing	herbelin	2010-04-09
*	New model for user-driven translation of tokens in coqdoc	herbelin	2010-04-06
*	Several bug-fixes and improvements of coqdoc	herbelin	2010-03-29
*	Fix "Existing Instance" to handle globality information and "Existing	msozeau	2009-12-27
*	Misc fixes.	msozeau	2009-11-06
*	Removed 'dest' from keyword highlighting.	gmelquio	2009-10-30
*	Added option --external to coqdoc to bind an url to an external library.	herbelin	2009-10-27
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Fixes for toc depth handling and handling of substitles from Chris Casinghino.	msozeau	2009-09-10
*	Update coqdoc documentation, CHANGES and add a fix for the proofbox (patch	msozeau	2009-09-08