| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2020-01-03 | coq_makefile: don't use CAMLPKGS when building cmxa of mllib | Gaëtan Gilbert |
| 2019-12-12 | Fix #11195 and add other improvements: try loading .vio (and not just .vo) if... | charguer |
| 2019-11-30 | coq_makefile: ml4 -> mlg in usage (since ml4 files are rejected). | Hugo Herbelin |
| 2019-11-27 | Remove deprecated commands `AddPath`, `AddRecPath` and `DelPath` | Maxime Dénès |
| 2019-11-21 | Merge PR #11145: Document -vos flag for coqdep | Emilio Jesus Gallego Arias |
| 2019-11-21 | Merge PR #10587: [coqdoc] Nest <a> into <h2> instead of the other way around | Emilio Jesus Gallego Arias |
| 2019-11-21 | [coq] Untabify the whole ML codebase. | Emilio Jesus Gallego Arias |
| 2019-11-21 | Document -vos flag for coqdep | Gaëtan Gilbert |
| 2019-11-21 | Merge PR #11075: load .vo when .vos is missing + misc vos changes | Emilio Jesus Gallego Arias |
| 2019-11-20 | From CoqIDE or -vos or -vok compilation, load .vo when .vos is missing (fixin... | charguer |
| 2019-11-20 | Merge PR #11068: coq_makefile: support COQBIN with no ending / | Enrico Tassi |
| 2019-11-19 | coq_makefile: support COQBIN with no ending / | Gaëtan Gilbert |
| 2019-11-08 | coqdep: only output vos when passed -vos | Gaëtan Gilbert |
| 2019-11-01 | Teach coq_dune about the empty .vos produced by coqc | Gaëtan Gilbert |
| 2019-11-01 | fix installation of vos files in coq Makefile | charguer |
| 2019-11-01 | fix coq_makefile and doc for vos support. | charguer |
| 2019-11-01 | Implementing support for vos/vok files. | charguer |
