| Age | Commit message (Expand) | Author |
|---|
| 2020-04-11 | [dune] [stdlib] Build the standard library natively with Dune. | Emilio Jesus Gallego Arias |
| 2020-03-22 | Centralizing all kinds of numeral string management in numTok.ml. | Hugo Herbelin |
| 2020-03-19 | [ocamformat] Update to 0.13.0 | Emilio Jesus Gallego Arias |
| 2020-03-13 | Deprecation of catchable_exception, to be replaced by noncritical in try-with. | Hugo Herbelin |
| 2020-03-06 | Merge PR #11717: [dune] [ocamldebug] Improve ocamldebug rules | Gaëtan Gilbert |
| 2020-03-01 | [dune] [doc] Be more explicit coqtop dependencies | Emilio Jesus Gallego Arias |
| 2020-02-29 | [dune] [ocamldebug] Improve ocamldebug rules | Emilio Jesus Gallego Arias |
| 2020-02-24 | [exn] Forbid raising in exn printers, make them return Pp.t option | Emilio Jesus Gallego Arias |
| 2020-02-22 | Making structure of type "tolerability" and related clearer. | Hugo Herbelin |
| 2020-02-19 | Merge PR #11302: Add --fuzz, --real, --user to timing scripts | Emilio Jesus Gallego Arias |
| 2020-02-14 | Merge PR #11468: [doc] fix typo & update release-process.md for opam/docker p... | Théo Zimmermann |
| 2020-02-13 | Merge PR #11450: Publishing a new version on Zenodo: not a relevant step for ... | Emilio Jesus Gallego Arias |
| 2020-02-05 | Add --fuzz, --real, --user to timing scripts | Jason Gross |
| 2020-02-04 | Non maximal implicits: entry in dev/doc/changes.md | SimonBoulier |
| 2020-01-28 | docs: Update release-process.md about opam/docker packaging | Erik Martin-Dorel |
| 2020-01-28 | Merge PR #11379: [ocaml] Remove Custom Backtrace module in favor of OCaml's | Pierre-Marie Pédrot |
| 2020-01-25 | Publishing a new version on Zenodo: not a relevant step for beta versions. | Théo Zimmermann |
| 2020-01-22 | Fix #11421 computation of Set+2 | Gaëtan Gilbert |
| 2020-01-21 | [xml-protocol doc] Fix link to vscoq | Ramkumar Ramachandra |
| 2020-01-19 | Merge PR #11406: [dune] [dbg] Add support for coqtop in dune-dbg | Gaëtan Gilbert |
| 2020-01-19 | Merge PR #11214: Add a script to pin CI developments. | Gaëtan Gilbert |
| 2020-01-19 | Removing text saying XML is future of PG, adding explicitly vscoq as a user | Hugo Herbelin |
| 2020-01-17 | [dune] [dbg] Add support for coqtop in dune-dbg | Emilio Jesus Gallego Arias |
| 2020-01-15 | [ocaml] Remove Custom Backtrace module in favor of OCaml's | Emilio Jesus Gallego Arias |
| 2020-01-03 | Merge PR #11295: Use code owner teams for every component. | Maxime Dénès |
| 2019-12-27 | Add critical-bugs entry, tests-suite file, and code comment. | Guillaume Melquiond |
| 2019-12-24 | Update merging doc following the full move to teams. | Théo Zimmermann |
| 2019-12-13 | Merge PR #11259: [make] Rename Makefile to Makefile.make and INSTALL to INSTA... | Théo Zimmermann |
| 2019-12-13 | [doc] [INSTALL] split make-based install instructions to its own file. | Emilio Jesus Gallego Arias |
| 2019-12-13 | [fmt] [dune] Add ocamlformat configuration. | Emilio Jesus Gallego Arias |
| 2019-12-06 | Moving the diversity of constr printers to a label style. | Hugo Herbelin |
| 2019-12-02 | Add a script to pin CI developments. | Pierre-Marie Pédrot |
| 2019-11-27 | [release] Update files for 8.12 release per release process. | Emilio Jesus Gallego Arias |
| 2019-11-26 | Fix #11039: proof of False with template poly and nonlinear universes | Gaëtan Gilbert |
| 2019-11-07 | The "univ poly can capture global univs" checker side bug is fixed | Gaëtan Gilbert |
| 2019-10-29 | Merge PR #10892: [engine] Remove UnivGen.global_of_constr | Pierre-Marie Pédrot |
| 2019-10-29 | Merge PR #10942: Describe XML tags used for highlighting diff text | Théo Zimmermann |
| 2019-10-27 | Fix link to `coq-notes.md` | Michael D. Adams |
| 2019-10-24 | Describe XML tags used for highlighting diff text | Jim Fehrle |
| 2019-10-16 | [engine] Remove UnivGen.global_of_constr | Vincent Laporte |
| 2019-10-16 | Fix a De Bruijn bug in the computation of term relevance in the kernel. | Pierre-Marie Pédrot |
| 2019-10-13 | Doc update with mlg extension - fix #10855 | mcaci |
| 2019-10-07 | Release process: release notes | Vincent Laporte |
| 2019-10-07 | Merge PR #9933: Add a few missing notes to the release doc. | Vincent Laporte |
| 2019-09-25 | Adding documentation for the move of sections data to kernel. | Pierre-Marie Pédrot |
| 2019-08-30 | Adding a critical-bugs entry. Description from Hugo Herbelin. | Pierre-Marie Pédrot |
| 2019-08-22 | [dune] Move to Dune 1.10, use coq.pp directive. | Emilio Jesus Gallego Arias |
| 2019-07-15 | Typos | Jim Fehrle |
| 2019-06-27 | Fix dev/doc/README.md by removing redundant, outdated info. | Théo Zimmermann |
| 2019-06-24 | [proof] dev/doc/changes for the last refactorings | Emilio Jesus Gallego Arias |
