| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-10-11 | Merge PR #8681: [dune] Fix and improve flags: | Théo Zimmermann |
| 2018-10-11 | [dune] Add optimizing flags to release profile. | Emilio Jesus Gallego Arias |
| 2018-10-11 | [dune] [test-suite] Support for running the test suite with Dune. | Emilio Jesus Gallego Arias |
| 2018-10-09 | [dune] Provide an optimized build profile with inlining reports. | Emilio Jesus Gallego Arias |
| 2018-10-08 | [dune] Fix bad interaction among PR #8627 and #8657 | Emilio Jesus Gallego Arias |
| 2018-10-08 | Merge PR #8657: [dune] Refactor files following advice from upstream. | Théo Zimmermann |
| 2018-10-05 | [dune] Refactor files following advice from upstream. | Emilio Jesus Gallego Arias |
| 2018-10-03 | [dune] [opam] Install `revision` file when building with Dune. | Emilio Jesus Gallego Arias |
| 2018-09-06 | [dune] [ci] Fix and test release profile + use 1.1 dune-workspace | 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 |