Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Use $(COQTOPEXE) to refer to bin/coqtop in Makefiles | 2008-09-06 | |
* | Fix typos | 2008-06-05 | |
* | Implement KEEP_ML4_PREPROCESSED option in build system | 2008-02-13 | |
* | Implement NO_RECALC_DEPS option in build system | 2008-02-13 | |
* | Allow a few build system optimisations/corner-cutting | 2007-10-11 | |
* | Add glob.dump to Makefile the recommended way and document the | 2007-07-25 | |
* | Reorganise cleaning targets | 2007-07-16 | |
* | New bootstrapping, improved, Makefile system | 2007-07-13 |