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