| Age | Commit message (Expand) | Author |
|---|---|---|
| 2010-03-04 | Makefile: cleanup of comments + a few words about recent changes in dev/doc/b... | letouzey |
| 2008-09-06 | Use $(COQTOPEXE) to refer to bin/coqtop in Makefiles | glondu |
| 2008-06-05 | Fix typos | lmamane |
| 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 |