| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | coq_makefile: build .cma for each .mlpack |  Enrico Tassi | 2017-05-27 |
| * | coq_makefile: use -include rather than include | Enrico Tassi | 2017-05-24 |
| * | add the only target | Enrico Tassi | 2017-05-23 |
| * | coq_makefile: avoid spurious ./ in generated .conf file | Enrico Tassi | 2017-05-23 |
| * | Restore 8.5, 8.6 compatibility of STDTIME, TIMECMD |  Jason Gross | 2017-05-23 |
| * | Make install a single colon target for retro compatibility | Enrico Tassi | 2017-05-23 |
| * | enters coq_makefile2 | Enrico Tassi | 2017-05-23 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |