aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
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-12-04[coq_makefile] use Envars for COQMF_WINDRIVEEnrico Tassi
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-09-21Make print-pretty-timed robust against non-output-sync logsJason Gross
2020-09-17[build] Don't link `num` anymore in CoqEmilio Jesus Gallego Arias
2020-08-27[numeral] [plugins] Switch from `Big_int` to ZArith.Emilio Jesus Gallego Arias
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-07-05Merge PR #12613: Remove deprecated (in 8.8 #6277) coqchk -IPierre-Marie Pédrot
2020-07-01Remove deprecated (in 8.8 #6277) coqchk -IGaëtan Gilbert
2020-06-30Cleanup mentions of -as in coqdep usage messageGaëtan Gilbert
2020-06-28Update CAMLDONTLINK in CoqMakefile.inAndres Erbsen
2020-05-30Coq_makefile: adding a dependency of .coqdeps on _CoqProject.Hugo Herbelin
2020-05-27Adding changelog.Martin Bodin
2020-05-27Promoting COQLIBINSTALL and COQDOCINSTALL in coq_makefile to the parameters s...Martin Bodin
2020-05-21Fix an uncaught python exception in timingJason Gross
2020-05-20Print a newline at the end of timing tablesJason Gross
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-29When TIMED=1, emit timing info for OCaml filesJason Gross
2020-04-24Add memory stats to tables by defaultJason Gross
2020-04-22Merge PR #12133: coqdoc: Replace deprecated HTML attribute name with idHugo Herbelin
2020-04-20Merge PR #12126: TIMEFMT: Display the output file nameGaëtan Gilbert
2020-04-20coqdoc: Replace deprecated HTML attribute name with idLysxia
2020-04-20Granting coqdoc wish #7093 (definitions link to themselves).Hugo Herbelin
2020-04-20TIMEFMT: Display the output file nameJason Gross
2020-04-20Adding highlighting of the target of a internal link in coqdoc CSS.Hugo Herbelin
2020-04-19Fix Makefile warning: undefined variable '*'Jason Gross
2020-04-15Coqdoc: Exporting location and unique id for binding variables.Hugo Herbelin
2020-04-14Merge PR #12037: coqdoc: Report location of mismatched '[['Hugo Herbelin
2020-04-11[dune] [stdlib] Build the standard library natively with Dune.Emilio Jesus Gallego Arias
2020-04-10coqdoc: Report location of mismatched '[['Lysxia
2020-04-08Fix a typo in CoqMakefile.inJason Gross
2020-04-05Coqdoc: Do not consider a _ following a « " », « ' » or « ` » as starti...Hugo Herbelin
2020-04-02remove .lia.cache and .nia.cache by make cleanallOlivier Laurent
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-02-19Merge PR #11302: Add --fuzz, --real, --user to timing scriptsEmilio Jesus Gallego Arias
2020-02-18Merge PR #11529: [build] Consolidate stdlib's .v files under a single directory.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:24:23 +0000