| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-11-04 | Fix #4837: ./configure -local makes coqdep issue many warnings | Maxime Dénès | |
| 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). | |||
| 2016-06-01 | Makefile: restore the use of coqdep_boot for creating .v.d files | Pierre Letouzey | |
| 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 formal proof system |
| aboutsummaryrefslogtreecommitdiff |