| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-12-27 | [API] remove large file containing duplicate interfaces | Enrico Tassi |
| 2017-11-24 | Fixing failing mkdir in test-suite for coq-makefile. | Hugo Herbelin |
| 2017-11-08 | Remove dependency of test-suite on git (fix #5725). | Théo Zimmermann |
| 2017-07-20 | more verbose logs for coq-makefile | Enrico Tassi |
| 2017-06-12 | Add support for "-bypass-API" argument of "coq_makefile" | Matej Košík |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |