aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdoc
AgeCommit message (Expand)Author
2019-05-23Fixing typos - Part 3JPR
2019-02-22Merge PR #9539: [coqdoc] Add the From keywordGaëtan Gilbert
2019-02-20[azure] [ci] Build on Windows using Dune.Emilio Jesus Gallego Arias
2019-02-11[coqdoc] Add the From keywordPierre Roux
2018-10-15Correct some spelling errorsBenjamin Barenblat
2018-10-04Merge PR #8646: [dune] Add `(package coq)` scope to artifacts.Théo Zimmermann
2018-10-04Merge PR #8626: [ocaml] [lib] Remove some compatibility layers for OCaml < 4....Pierre-Marie Pédrot
2018-10-03[dune] Add `(package coq)` scope to artifacts.Emilio Jesus Gallego Arias
2018-10-02[ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0Emilio Jesus Gallego Arias
2018-10-02[dune] Install more files from `tools`.Emilio Jesus Gallego Arias
2018-09-21[dune] Improve support for Coq tools.Emilio Jesus Gallego Arias
2018-07-29Adding support for custom entries in notations.Hugo Herbelin
2018-07-17Remove fourier pluginMaxime Dénès
2018-07-03coqdoc Index.find_string: remove unused argument.Gaëtan Gilbert
2018-02-27Update headers following #6543.Théo Zimmermann
2017-09-07Merge PR #997: coqdoc: Support comments in verbatim outputMaxime Dénès
2017-08-29coqdoc: Support comments in verbatim outputTej Chajed
2017-08-21Fix coqdoc URLs under Windows.Théo Zimmermann
2017-07-15Fixing #5648 (too early decision of tagging ident as keyword in html coqdoc).Hugo Herbelin
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-05-30Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2017-05-30Merge PR#356: Making management of installation directories more structured, ...Maxime Dénès
2017-05-30Merge PR#692: Fail on deprecated warning even for Ocaml > 4.02.3Maxime Dénès
2017-05-29Using the same strategy in coqdoc than in coqtop to guess the coqlib.Hugo Herbelin
2017-05-29Exporting the suffixes needed to build coqlib, docdir, etc.Hugo Herbelin
2017-05-29Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.Hugo Herbelin
2017-05-28Fail on deprecated warning even for Ocaml > 4.02.3Gaëtan Gilbert
2017-05-20[coqdoc] Add keywords in bug 2884.Emilio Jesus Gallego Arias
2017-04-27Remove some unused values and typesGaetan Gilbert
2017-03-20[misc] Remove warnings about String.setEmilio Jesus Gallego Arias
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 "&acute;".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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 16:40:22 +0000