| Age | Commit message (Expand) | Author |
|---|---|---|
| 2007-08-07 | Build system: _really_ don't recurse into VCS metadata for file lists | lmamane |
| 2007-08-07 | Build system: | lmamane |
| 2007-08-01 | Build system: BSD compatibility: do not use -printf action of find | lmamane |
| 2007-07-25 | Add glob.dump to Makefile the recommended way and document the | lmamane |
| 2007-07-18 | Makefile: slightly cleaner version of r10026 | lmamane |
| 2007-07-18 | Makefile: don't mention bin/coqtop.byte twice to make when BEST=byte, it comp... | lmamane |
| 2007-07-16 | Makefile: -MG doesn't (and can't) do what is necessary | lmamane |
| 2007-07-16 | A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem | lmamane |
| 2007-07-13 | A emacs-specific comment to use makefile-mode on Makefile.* | letouzey |
| 2007-07-13 | New bootstrapping, improved, Makefile system | corbinea |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/Makefile.common