| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-03-03 | [build] Split stdlib to it's own opam package. | Emilio Jesus Gallego Arias |
| 2019-12-09 | dune: Add byte mode for coqchk and coqide (fix dune-dbg for dune 2) | Gaëtan Gilbert |
| 2019-03-05 | [dune] [checker] Don't install internal checker library. | Emilio Jesus Gallego Arias |
| 2018-11-20 | dune: link kernel in checker instead of copying files | Gaëtan Gilbert |
| 2018-11-19 | Fix dune checker file. | Pierre-Marie Pédrot |
| 2018-11-06 | [checker] Refactor by sharing code with the kernel | Maxime Dénès |
| 2018-10-29 | Rename checker/{main->coqchk} | Gaëtan Gilbert |
| 2018-10-03 | [dune] Add `(package coq)` scope to artifacts. | Emilio Jesus Gallego Arias |
| 2018-09-28 | [dune] Pack checker to avoid [odoc] problems + build doc for plugins. | Emilio Jesus Gallego Arias |
| 2018-09-05 | [build] Preliminary support for building Coq with `dune`. | Emilio Jesus Gallego Arias |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |