| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-05-02 | [opam] [dune] Fix opam build by correctly setting prefix. | Emilio Jesus Gallego Arias |
| 2019-04-26 | [opam] Use version to provide better package bounds. | Emilio Jesus Gallego Arias |
| 2019-04-14 | Fix coq/coq#9956 | Erik Martin-Dorel |
| 2018-11-21 | [camlp5] Remove dependency on camlp5. | Emilio Jesus Gallego Arias |
| 2018-11-08 | Revert "Merge PR #8923: Bump camlp5 minimal version and use its safe API." | Pierre-Marie Pédrot |
| 2018-11-07 | Bump up the minimal camlp5 version to 7.06. | Pierre-Marie Pédrot |
| 2018-10-23 | [dune] [opam] Move to OPAM 2.0 | Emilio Jesus Gallego Arias |
| 2018-10-05 | [ci] [dune] [opam] Fixes to OPAM and CI target. | Emilio Jesus Gallego Arias |
| 2018-09-21 | [dune] [configure] Allow to set prefix using environment variable. | Emilio Jesus Gallego Arias |
| 2018-09-20 | [opam] Fix typo in build variable. | 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 |