| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-10-03 | [dune] Add `(package coq)` scope to artifacts. | Emilio Jesus Gallego Arias | |
| This will allow us to define extra packages such as `coq-refman`. | |||
| 2018-10-02 | [dune] Install more files from `tools`. | Emilio Jesus Gallego Arias | |
| These are needed for example for the test suite. | |||
| 2018-09-21 | [dune] Improve support for Coq tools. | Emilio Jesus Gallego Arias | |
| - Install `CoqMakefile.in` - Build `coqwc` and `coqdoc` This allows to build most contribs I've tried with the Dune-based OPAM package. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |