aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdoc/output.ml
AgeCommit message (Expand)Author
2021-04-02Remove the omega tactic and related optionsJim Fehrle
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-07-24Fixes #12752 (applying symbol escaping in index produced by coqdoc).Hugo Herbelin
2020-04-20coqdoc: Replace deprecated HTML attribute name with idLysxia
2020-04-20Granting coqdoc wish #7093 (definitions link to themselves).Hugo Herbelin
2020-04-15Coqdoc: Exporting location and unique id for binding variables.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
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-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-11[coqdoc] Add the From keywordPierre Roux
2018-10-15Correct some spelling errorsBenjamin Barenblat
2018-10-02[ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0Emilio Jesus Gallego Arias
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-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-30Merge PR#692: Fail on deprecated warning even for Ocaml > 4.02.3Maxime Dénès
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
2016-05-08Removing dead code and unused opens.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-09-26Documenting how to support some special unicode characters in coqdocHugo Herbelin
2015-03-31Do not escape "'" when outputting to html, especially not using "&acute;".Guillaume Melquiond
2015-01-12Update headers.Maxime Dénès
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-09-04Add a [Variant] declaration which allows to write non-recursive variant types.Arnaud Spiwack
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
2013-04-17Renaming SearchAbout into Search and Search into SearchHead.herbelin
2012-10-16Removed dead code about linking Module names in coqdoc.herbelin
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-08Updating headers.herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:50:43 +0000