| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Bump year in headers. |  Maxime Dénès | 2017-06-01 |
| | | |||
| * | Fix #4837: ./configure -local makes coqdep issue many warnings | Maxime Dénès | 2016-11-04 |
| | | | | | | | We simply remove the warnings about paths mixing Win32 and Unix separators, since that situation does not seem problematic (c.f. discussion on the bug tracker). | ||
| * | Makefile: restore the use of coqdep_boot for creating .v.d files |  Pierre Letouzey | 2016-06-01 |
| Coqdep_boot has almost no dependencies, and hence can be compiled very early during the build, without relying on .ml.d files. Some code of system.ml is now in a separate file minisys.ml, which is also included in system.ml for compatibility. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |