Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem | lmamane | 2007-07-16 |
| | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10010 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
* | A emacs-specific comment to use makefile-mode on Makefile.* | letouzey | 2007-07-13 |
| | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9999 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
* | New bootstrapping, improved, Makefile system | corbinea | 2007-07-13 |
Documented in dev/doc/build-system.txt . git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9992 85f007b7-540e-0410-9357-904b9bb8a0f7 |