| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-07-21 | Dune: fix build_all_stdlib rule | Gaëtan Gilbert |
| 2019-02-04 | [dune] Fix Dune build in Windows. | Emilio Jesus Gallego Arias |
| 2018-10-11 | [dune] [test-suite] Support for running the test suite with Dune. | Emilio Jesus Gallego Arias |
| 2011-01-25 | Add a test for sorting all universes of stdlib | glondu |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |