aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdoc
Commit message (Expand)AuthorAge
* Merge branch 'v8.5' into trunkGravatar Guillaume Melquiond2016-06-03
|\
| * Fix proof terminators not being detected in presence of curly brackets (bug #...Gravatar Guillaume Melquiond2016-06-03
| * Make "coqdoc -g --parse-comments" behave properly (bug #4773).Gravatar Guillaume Melquiond2016-06-03
* | Removing dead code and unused opens.Gravatar Pierre-Marie Pédrot2016-05-08
|/
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Support "Functional Scheme" in coqdoc. (Fix bug #4382)Gravatar Guillaume Melquiond2015-10-23
* Documenting how to support some special unicode characters in coqdocGravatar Hugo Herbelin2015-09-26
* Clarifying the doc of coqdoc --utf8 as discussed on coq-club on August 19, 2015.Gravatar Hugo Herbelin2015-09-26
* Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.Gravatar Guillaume Melquiond2015-07-30
* Avoid outputting stray "Local" keywords in HTML documentation.Gravatar Guillaume Melquiond2015-04-02
* Do not escape "'" when outputting to html, especially not using "´".Gravatar Guillaume Melquiond2015-03-31
* Make coqdoc -l properly handle Local before Ltac. (Fix for bug #3307)Gravatar Guillaume Melquiond2015-02-11
* Update headers.Gravatar Maxime Dénès2015-01-12
* Improve error recovery in case of ill-formed coqdoc comment. (Fix for bug #38...Gravatar Guillaume Melquiond2015-01-06
* Switch the few remaining iso-latin-1 files to utf8Gravatar Pierre Letouzey2014-12-09
* coqdoc.css: fix a few errorsGravatar Pierre Letouzey2014-12-09
* coqdoc: fix a few issues with xhtml validity (backport 1636f7 and 754abf1 fro...Gravatar Pierre Letouzey2014-12-09
* Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document...Gravatar notin2014-12-09
* Use the url package, since coqdoc generates \url commands.Gravatar Guillaume Melquiond2014-10-27
* Supporting Greek and Coptic (U0370) as first letter of coqdoc identifiers.Gravatar Hugo Herbelin2014-10-22
* Print [Variant] types with the keyword [Variant].Gravatar Arnaud Spiwack2014-09-04
* Add a [Variant] declaration which allows to write non-recursive variant types.Gravatar Arnaud Spiwack2014-09-04
* coqdoc is minimaly -Q awareGravatar Pierre Boutillier2014-07-03
* Recognize Parameters as a command in coqdoc. (Fix for bug #3279)Gravatar Guillaume Melquiond2014-04-28
* Mark lazymatch as an Ltac keyword for coqdoc. (Fix for bug #3276)Gravatar Guillaume Melquiond2014-04-28
* Fixing coqdoc bug #3292 (unfortunate collision betweens the relativeGravatar Hugo Herbelin2014-04-28
* Dumpglob: factor out reference dumping.Gravatar Carst Tankink2014-04-10
* Prevent verbatim text from leaking out of comments. (See bug #2882)Gravatar Guillaume Melquiond2014-04-04
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Set officially the minimal OCaml requirement to 3.12.1Gravatar Pierre Letouzey2014-03-02
* Avoid polymorphic comparison (coqdoc).Gravatar xclerc2013-10-14
* Getting rid of the use of deprecated elements (from the OCaml standard library).Gravatar xclerc2013-10-14
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* Renaming SearchAbout into Search and Search into SearchHead.Gravatar herbelin2013-04-17
* invalid_arg instead of raise (Invalid_argement ...)Gravatar letouzey2013-03-12
* Continuing r15885 fixing coqdoc index bugs introduced in r14624 and r15053.Gravatar herbelin2012-10-16
* Removed dead code about linking Module names in coqdoc.Gravatar herbelin2012-10-16
* Fixing coqdoc index bugs introduced in r14624 and r15053. Revision r14624 int...Gravatar pboutill2012-10-15
* still some more dead code removalGravatar letouzey2012-10-06
* The new ocaml compiler (4.00) has a lot of very cool warnings,Gravatar regisgia2012-09-14
* Coqdoc: fix --utf8 bug for pretty printingGravatar pboutill2012-09-07
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* Updating headers.Gravatar herbelin2012-08-08
* Coqdoc inlined verbatim_char in latexGravatar pboutill2012-08-06
* Add inline verbatim (<</>>), quotes (") and urls ({{url} name}) markup/typese...Gravatar pboutill2012-08-06
* Coqdoc: More keywords, better special char escape, special case for "in *"Gravatar pboutill2012-08-05
* More entries in the indexGravatar pboutill2012-08-05
* Various minor fixes to coqdoc from A. Chlipala.Gravatar msozeau2012-07-18
* Bug 2709: Duplication in coqdoc index entriesGravatar pboutill2012-03-19
* Fix handling of space after "Notation" or "where", add missing keywords.Gravatar msozeau2012-02-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 09:33:17 +0000