Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - configure: affiche si le natdynlink est positionne | 2009-03-17 | |
* | coqdep_boot: a specialized and dependency-free coqdep for killing one of the ... | 2009-03-16 | |
* | Makefile: fix ignored errors, several attempts to clarify things | 2009-03-16 | |
* | A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem | 2007-07-16 | |
* | A emacs-specific comment to use makefile-mode on Makefile.* | 2007-07-13 | |
* | New bootstrapping, improved, Makefile system | 2007-07-13 |