aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdoc
AgeCommit message (Expand)Author
2017-03-14[safe-string] toolsEmilio Jesus Gallego Arias
2016-08-21Merge branch 'v8.5' into v8.6Pierre-Marie Pédrot
2016-08-16Output a break before a list only if there was an empty line (bug #4606).Guillaume Melquiond
2016-07-05Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Maxime Dénès
2016-06-29Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2016-06-03Merge branch 'v8.5' into trunkGuillaume Melquiond
2016-06-03Fix proof terminators not being detected in presence of curly brackets (bug #...Guillaume Melquiond
2016-06-03Make "coqdoc -g --parse-comments" behave properly (bug #4773).Guillaume Melquiond
2016-05-08Removing dead code and unused opens.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-10-23Support "Functional Scheme" in coqdoc. (Fix bug #4382)Guillaume Melquiond
2015-09-26Documenting how to support some special unicode characters in coqdocHugo Herbelin
2015-09-26Clarifying the doc of coqdoc --utf8 as discussed on coq-club on August 19, 2015.Hugo Herbelin
2015-07-30Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.Guillaume Melquiond
2015-04-02Avoid outputting stray "Local" keywords in HTML documentation.Guillaume Melquiond
2015-03-31Do not escape "'" when outputting to html, especially not using "´".Guillaume Melquiond
2015-02-11Make coqdoc -l properly handle Local before Ltac. (Fix for bug #3307)Guillaume Melquiond
2015-01-12Update headers.Maxime Dénès
2015-01-06Improve error recovery in case of ill-formed coqdoc comment. (Fix for bug #38...Guillaume Melquiond
2014-12-09Switch the few remaining iso-latin-1 files to utf8Pierre Letouzey
2014-12-09coqdoc.css: fix a few errorsPierre Letouzey
2014-12-09coqdoc: fix a few issues with xhtml validity (backport 1636f7 and 754abf1 fro...Pierre Letouzey
2014-12-09Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document...notin
2014-10-27Use the url package, since coqdoc generates \url commands.Guillaume Melquiond
2014-10-22Supporting Greek and Coptic (U0370) as first letter of coqdoc identifiers.Hugo Herbelin
2014-09-04Print [Variant] types with the keyword [Variant].Arnaud Spiwack
2014-09-04Add a [Variant] declaration which allows to write non-recursive variant types.Arnaud Spiwack
2014-07-03coqdoc is minimaly -Q awarePierre Boutillier
2014-04-28Recognize Parameters as a command in coqdoc. (Fix for bug #3279)Guillaume Melquiond
2014-04-28Mark lazymatch as an Ltac keyword for coqdoc. (Fix for bug #3276)Guillaume Melquiond
2014-04-28Fixing coqdoc bug #3292 (unfortunate collision betweens the relativeHugo Herbelin
2014-04-10Dumpglob: factor out reference dumping.Carst Tankink
2014-04-04Prevent verbatim text from leaking out of comments. (See bug #2882)Guillaume Melquiond
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
2014-03-02Set officially the minimal OCaml requirement to 3.12.1Pierre Letouzey
2013-10-14Avoid polymorphic comparison (coqdoc).xclerc
2013-10-14Getting rid of the use of deprecated elements (from the OCaml standard library).xclerc
2013-08-22Misc changes around coqtop.ml :letouzey
2013-04-17Renaming SearchAbout into Search and Search into SearchHead.herbelin
2013-03-12invalid_arg instead of raise (Invalid_argement ...)letouzey
2012-10-16Continuing r15885 fixing coqdoc index bugs introduced in r14624 and r15053.herbelin
2012-10-16Removed dead code about linking Module names in coqdoc.herbelin
2012-10-15Fixing coqdoc index bugs introduced in r14624 and r15053. Revision r14624 int...pboutill
2012-10-06still some more dead code removalletouzey
2012-09-14The new ocaml compiler (4.00) has a lot of very cool warnings,regisgia
2012-09-07Coqdoc: fix --utf8 bug for pretty printingpboutill
2012-08-23No more states/initial.coq, instead coqtop now requires Prelude.voletouzey
2012-08-08Updating headers.herbelin
2012-08-06Coqdoc inlined verbatim_char in latexpboutill
2012-08-06Add inline verbatim (<</>>), quotes (") and urls ({{url} name}) markup/typese...pboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 12:37:50 +0000