aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdoc
AgeCommit message (Expand)Author
2021-04-12Merge PR #14038: [dune] [coqdoc] Install coqdoc.sty also in share/texmfcoqbot-app[bot]
2021-04-02Remove the omega tactic and related optionsJim Fehrle
2021-03-31[dune] [coqdoc] Install coqdoc.sty also in share/texmfEmilio Jesus Gallego Arias
2021-03-03[build] Split stdlib to it's own opam package.Emilio Jesus Gallego Arias
2021-02-16Get rid of the compilation date from the binaries to make them more stable.Guillaume Melquiond
2021-01-25Remove the SearchHead commandJim Fehrle
2021-01-13Avoid using "subgoals" in the UI, it means the same as "goals"Jim Fehrle
2020-12-28Fix broken HTML rendering of inference rules (fix #12783).Guillaume Melquiond
2020-11-14Coqdoc: we move a newline at a better place.Hugo Herbelin
2020-11-14Addressing #13304: how to verbatim an expression mentioning >>.Hugo Herbelin
2020-11-14Dead code in coqdoc.Hugo Herbelin
2020-11-14Reorganizing the printing of warnings; fixing line count.Hugo Herbelin
2020-07-29coqdoc: Fix the “details” environmentThomas Letan
2020-07-28Merge PR #12754: Fixes #12752: applying symbol escaping in coqdoc indexLi-yao Xia
2020-07-24Fixes #12752 (applying symbol escaping in index produced by coqdoc).Hugo Herbelin
2020-07-24Fix coqdoc bad bulleting from incorrect space countGaëtan Gilbert
2020-05-11Checking validity of coqdoc file name.Hugo Herbelin
2020-05-07Merge PR #12024: Fixes for LaTeX/html export of standard library in coqdocThéo Zimmermann
2020-04-20coqdoc: Replace deprecated HTML attribute name with idLysxia
2020-04-20Granting coqdoc wish #7093 (definitions link to themselves).Hugo Herbelin
2020-04-20Adding highlighting of the target of a internal link in coqdoc CSS.Hugo Herbelin
2020-04-15Coqdoc: Exporting location and unique id for binding variables.Hugo Herbelin
2020-04-10coqdoc: Report location of mismatched '[['Lysxia
2020-04-05Coqdoc: Do not consider a _ following a « " », « ' » or « ` » as starti...Hugo Herbelin
2020-04-01Merge PR #10592: coqdoc: Add a new `details' environment for coqdocLysxia
2020-03-28Remove SearchAbout command, deprecated in 8.5Jim Fehrle
2020-03-28coqdoc: Add (* begin details *) and (* end details *)Thomas Letan
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-01-14[coqdoc] Fix #11353: coqdoc -g omits all sentences with decorationsKarl Palmskog
2019-11-27Remove deprecated commands `AddPath`, `AddRecPath` and `DelPath`Maxime Dénès
2019-11-21Merge PR #10587: [coqdoc] Nest <a> into <h2> instead of the other way aroundEmilio Jesus Gallego Arias
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-07-27[coqdoc] Nest <a> into <h2> instead of the other way aroundLysxia
2019-07-27[coqdoc] Simplify regex for identifiers in commentsLysxia
2019-07-08[core] [api] Support OCaml 4.08Emilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:58:03 +0000