| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Implement KEEP_ML4_PREPROCESSED option in build system |  lmamane | 2008-02-13 |
| * | Implement NO_RECALC_DEPS option in build system | lmamane | 2008-02-13 |
| * | Allow a few build system optimisations/corner-cutting | lmamane | 2007-10-11 |
| * | Add glob.dump to Makefile the recommended way and document the | lmamane | 2007-07-25 |
| * | Reorganise cleaning targets | lmamane | 2007-07-16 |
| * | New bootstrapping, improved, Makefile system |  corbinea | 2007-07-13 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |