| Age | Commit message (Expand) | Author |
|---|
| 2016-05-08 | Removing dead code and unused opens. | Pierre-Marie Pédrot |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2015-09-26 | Documenting how to support some special unicode characters in coqdoc | Hugo Herbelin |
| 2015-03-31 | Do not escape "'" when outputting to html, especially not using "´". | Guillaume Melquiond |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2014-12-09 | 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-10-27 | Use the url package, since coqdoc generates \url commands. | Guillaume Melquiond |
| 2014-09-04 | Add a [Variant] declaration which allows to write non-recursive variant types. | Arnaud Spiwack |
| 2014-04-28 | 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 |
| 2013-04-17 | Renaming SearchAbout into Search and Search into SearchHead. | herbelin |
| 2012-10-16 | Removed dead code about linking Module names in coqdoc. | herbelin |
| 2012-10-06 | still some more dead code removal | letouzey |
| 2012-09-14 | The new ocaml compiler (4.00) has a lot of very cool warnings, | regisgia |
| 2012-09-07 | Coqdoc: fix --utf8 bug for pretty printing | pboutill |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-08-06 | Coqdoc inlined verbatim_char in latex | pboutill |
| 2012-08-06 | Add inline verbatim (<</>>), quotes (") and urls ({{url} name}) markup/typese... | pboutill |
| 2012-08-05 | Coqdoc: More keywords, better special char escape, special case for "in *" | pboutill |
| 2012-07-18 | Various minor fixes to coqdoc from A. Chlipala. | msozeau |
| 2012-02-16 | Fix handling of space after "Notation" or "where", add missing keywords. | msozeau |
| 2011-10-29 | Fixed broken globalization of identifiers containing utf8 letters | herbelin |
| 2011-10-29 | Added checksums to glob files and warned about possibly missing | herbelin |
| 2011-01-28 | Remove the "Boxed" syntaxes and the const_entry_boxed field | letouzey |
| 2010-12-04 | Better fix to bug #2183 ("moduleid" internal name got exposed to users | herbelin |
| 2010-09-28 | Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces the | msozeau |
| 2010-09-28 | Minor fixes of 'make doc' | pboutill |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-05-19 | Remove compile-command pragmas for emacs | letouzey |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-04-09 | Applied Cédric Auger's patch to fix use of "#&xxx;" in html printing | herbelin |
| 2010-04-06 | New model for user-driven translation of tokens in coqdoc | herbelin |
| 2010-03-29 | Several bug-fixes and improvements of coqdoc | herbelin |
| 2009-12-27 | Fix "Existing Instance" to handle globality information and "Existing | msozeau |
| 2009-11-06 | Misc fixes. | msozeau |
| 2009-10-30 | Removed 'dest' from keyword highlighting. | gmelquio |
| 2009-10-27 | Added option --external to coqdoc to bind an url to an external library. | herbelin |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-09-10 | Fixes for toc depth handling and handling of substitles from Chris Casinghino. | msozeau |
| 2009-09-08 | Update coqdoc documentation, CHANGES and add a fix for the proofbox (patch | msozeau |
| 2009-09-08 | Fix the bug-ridden code used to choose leibniz or generalized | msozeau |
| 2009-09-04 | Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino, | msozeau |
| 2009-09-03 | Add --plain-comments patch by F. Garillot, which also adds | msozeau |
| 2009-04-24 | Report de la révision #12104 (Maj lien site web de Coq) | notin |
| 2009-04-08 | Change HTML paragraph output to avoid too much space after bulleted | msozeau |
| 2009-03-26 | Protect typeset arguments in titles in LaTeX output (fixes compilation | msozeau |
| 2009-03-22 | coqdoc fixes and support for parsing regular comments (request by | msozeau |
| 2009-01-21 | - Better deal with commands inside section titles in latex output using | msozeau |
| 2008-12-29 | Produce better html code with coqdoc and improve doc: | msozeau |
