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