| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-10-31 | [Nix] Update reference to nixpkgs | Vincent Laporte | |
| This version of nixpkgs includes: - Dune 1.11.4 - GTK3 3.24.12 - menhir 20190626 | |||
| 2019-08-22 | [dune] Move to Dune 1.10, use coq.pp directive. | Emilio Jesus Gallego Arias | |
| We use the `(coq.pp ...)` dune directive which will produce correct error messages for `.mlg` files. Unfortunately we cannot yet use the automatic opam generation features of Dune 1.10, as this does require a fully native Dune build. Dune 1.6-1.10 has quite a few other improvements that could be used by Coq, for example for promote modes. I have fixed a couple of documentation issues. `Drop` and `ocamldebug` have been tested in this version. | |||
| 2019-05-17 | [nix] Update reference to nixpkgs | Vincent Laporte | |
| 2019-03-27 | [nix] Update reference to nixpkgs | Vincent Laporte | |
| 2019-03-18 | [nix] Update reference to nixpkgs | Vincent Laporte | |
| 2019-03-18 | [nix] Move nixpkgs.nix into the dev/ directory | Vincent Laporte | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |