| Age | Commit message (Expand) | Author |
|---|
| 2016-08-21 | Merge branch 'v8.5' into v8.6 | Pierre-Marie Pédrot |
| 2016-08-16 | Output a break before a list only if there was an empty line (bug #4606). | Guillaume Melquiond |
| 2016-07-05 | Revert "Merge remote-tracking branch 'github/pr/229' into trunk" | Maxime Dénès |
| 2016-06-29 | Makefile: no bytecode compilation in make world, see make byte instead | Pierre Letouzey |
| 2016-06-03 | Merge branch 'v8.5' into trunk | Guillaume Melquiond |
| 2016-06-03 | Fix proof terminators not being detected in presence of curly brackets (bug #... | Guillaume Melquiond |
| 2016-06-03 | Make "coqdoc -g --parse-comments" behave properly (bug #4773). | Guillaume Melquiond |
| 2016-05-08 | Removing dead code and unused opens. | Pierre-Marie Pédrot |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2015-10-23 | Support "Functional Scheme" in coqdoc. (Fix bug #4382) | Guillaume Melquiond |
| 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-07-30 | Remove usage of Printexc.catch in the tools, as it is deprecated since 2001. | Guillaume Melquiond |
| 2015-04-02 | Avoid outputting stray "Local" keywords in HTML documentation. | Guillaume Melquiond |
| 2015-03-31 | Do not escape "'" when outputting to html, especially not using "´". | Guillaume Melquiond |
| 2015-02-11 | Make coqdoc -l properly handle Local before Ltac. (Fix for bug #3307) | Guillaume Melquiond |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2015-01-06 | Improve error recovery in case of ill-formed coqdoc comment. (Fix for bug #38... | Guillaume Melquiond |
| 2014-12-09 | Switch the few remaining iso-latin-1 files to utf8 | Pierre Letouzey |
| 2014-12-09 | coqdoc.css: fix a few errors | Pierre Letouzey |
| 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-10-22 | Supporting Greek and Coptic (U0370) as first letter of coqdoc identifiers. | Hugo Herbelin |
| 2014-09-04 | Print [Variant] types with the keyword [Variant]. | Arnaud Spiwack |
| 2014-09-04 | Add a [Variant] declaration which allows to write non-recursive variant types. | Arnaud Spiwack |
| 2014-07-03 | coqdoc is minimaly -Q aware | Pierre Boutillier |
| 2014-04-28 | Recognize Parameters as a command in coqdoc. (Fix for bug #3279) | Guillaume Melquiond |
| 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 |
| 2014-04-10 | Dumpglob: factor out reference dumping. | Carst Tankink |
| 2014-04-04 | Prevent verbatim text from leaking out of comments. (See bug #2882) | Guillaume Melquiond |
| 2014-03-05 | Remove many superfluous 'open' indicated by ocamlc -w +33 | Pierre Letouzey |
| 2014-03-02 | Set officially the minimal OCaml requirement to 3.12.1 | Pierre Letouzey |
| 2013-10-14 | Avoid polymorphic comparison (coqdoc). | xclerc |
| 2013-10-14 | Getting rid of the use of deprecated elements (from the OCaml standard library). | xclerc |
| 2013-08-22 | Misc changes around coqtop.ml : | letouzey |
| 2013-04-17 | Renaming SearchAbout into Search and Search into SearchHead. | herbelin |
| 2013-03-12 | invalid_arg instead of raise (Invalid_argement ...) | letouzey |
| 2012-10-16 | Continuing r15885 fixing coqdoc index bugs introduced in r14624 and r15053. | herbelin |
| 2012-10-16 | Removed dead code about linking Module names in coqdoc. | herbelin |
| 2012-10-15 | Fixing coqdoc index bugs introduced in r14624 and r15053. Revision r14624 int... | pboutill |
| 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-23 | No more states/initial.coq, instead coqtop now requires Prelude.vo | letouzey |
| 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 |
