| Age | Commit message (Expand) | Author |
|---|
| 2020-09-21 | Make print-pretty-timed robust against non-output-sync logs | Jason Gross |
| 2020-09-17 | [build] Don't link `num` anymore in Coq | Emilio Jesus Gallego Arias |
| 2020-08-27 | [numeral] [plugins] Switch from `Big_int` to ZArith. | Emilio Jesus Gallego Arias |
| 2020-07-29 | coqdoc: Fix the “details” environment | Thomas Letan |
| 2020-07-28 | Merge PR #12754: Fixes #12752: applying symbol escaping in coqdoc index | Li-yao Xia |
| 2020-07-24 | Fixes #12752 (applying symbol escaping in index produced by coqdoc). | Hugo Herbelin |
| 2020-07-24 | Fix coqdoc bad bulleting from incorrect space count | Gaëtan Gilbert |
| 2020-07-05 | Merge PR #12613: Remove deprecated (in 8.8 #6277) coqchk -I | Pierre-Marie Pédrot |
| 2020-07-01 | Remove deprecated (in 8.8 #6277) coqchk -I | Gaëtan Gilbert |
| 2020-06-30 | Cleanup mentions of -as in coqdep usage message | Gaëtan Gilbert |
| 2020-06-28 | Update CAMLDONTLINK in CoqMakefile.in | Andres Erbsen |
| 2020-05-30 | Coq_makefile: adding a dependency of .coqdeps on _CoqProject. | Hugo Herbelin |
| 2020-05-27 | Adding changelog. | Martin Bodin |
| 2020-05-27 | Promoting COQLIBINSTALL and COQDOCINSTALL in coq_makefile to the parameters s... | Martin Bodin |
| 2020-05-21 | Fix an uncaught python exception in timing | Jason Gross |
| 2020-05-20 | Print a newline at the end of timing tables | Jason Gross |
| 2020-05-11 | Checking validity of coqdoc file name. | Hugo Herbelin |
| 2020-05-07 | Merge PR #12024: Fixes for LaTeX/html export of standard library in coqdoc | Théo Zimmermann |
| 2020-04-29 | When TIMED=1, emit timing info for OCaml files | Jason Gross |
| 2020-04-24 | Add memory stats to tables by default | Jason Gross |
| 2020-04-22 | Merge PR #12133: coqdoc: Replace deprecated HTML attribute name with id | Hugo Herbelin |
| 2020-04-20 | Merge PR #12126: TIMEFMT: Display the output file name | Gaëtan Gilbert |
| 2020-04-20 | coqdoc: Replace deprecated HTML attribute name with id | Lysxia |
| 2020-04-20 | Granting coqdoc wish #7093 (definitions link to themselves). | Hugo Herbelin |
| 2020-04-20 | TIMEFMT: Display the output file name | Jason Gross |
| 2020-04-20 | Adding highlighting of the target of a internal link in coqdoc CSS. | Hugo Herbelin |
| 2020-04-19 | Fix Makefile warning: undefined variable '*' | Jason Gross |
| 2020-04-15 | Coqdoc: Exporting location and unique id for binding variables. | Hugo Herbelin |
| 2020-04-14 | Merge 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-10 | coqdoc: Report location of mismatched '[[' | Lysxia |
| 2020-04-08 | Fix a typo in CoqMakefile.in | Jason Gross |
| 2020-04-05 | Coqdoc: Do not consider a _ following a « " », « ' » or « ` » as starti... | Hugo Herbelin |
| 2020-04-02 | remove .lia.cache and .nia.cache by make cleanall | Olivier Laurent |
| 2020-04-01 | Merge PR #10592: coqdoc: Add a new `details' environment for coqdoc | Lysxia |
| 2020-03-28 | Remove SearchAbout command, deprecated in 8.5 | Jim Fehrle |
| 2020-03-28 | coqdoc: Add (* begin details *) and (* end details *) | Thomas Letan |
| 2020-03-18 | Update headers in the whole code base. | Théo Zimmermann |
| 2020-02-19 | Merge PR #11302: Add --fuzz, --real, --user to timing scripts | Emilio Jesus Gallego Arias |
| 2020-02-18 | Merge PR #11529: [build] Consolidate stdlib's .v files under a single directory. | Théo Zimmermann |
| 2020-02-13 | [coqdep] Remove support for `-c` ocamldep replacement. | Emilio Jesus Gallego Arias |
| 2020-02-13 | [coqdep] Merge `-sort` and `-suffix` options. | Emilio Jesus Gallego Arias |
| 2020-02-13 | [build] Consolidate stdlib's .v files under a single directory. | Emilio Jesus Gallego Arias |
| 2020-02-11 | [coqdep] mli cleanup, remove unused functions | Emilio Jesus Gallego Arias |
| 2020-02-07 | [coqdep] Don't treat stdlib specially in boot mode. | Emilio Jesus Gallego Arias |
| 2020-02-07 | [coqdep] Remove deprecated -slash , unused, undocumented -mldep option. | Emilio Jesus Gallego Arias |
| 2020-02-07 | [coqdep] Remove dumpgraph and broken options | Emilio Jesus Gallego Arias |
| 2020-02-05 | Add --fuzz, --real, --user to timing scripts | Jason Gross |
| 2020-01-14 | [coqdoc] Fix #11353: coqdoc -g omits all sentences with decorations | Karl Palmskog |
| 2020-01-13 | Merge PR #11280: Fix #11195 and add other improvements: try loading .vio (and... | Pierre-Marie Pédrot |
