| Commit message (Expand) | Author | Age |
* | 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 |
* | Fix the bug-ridden code used to choose leibniz or generalized | msozeau | 2009-09-08 |
* | Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino, | msozeau | 2009-09-04 |