Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Many changes in the Makefile infrastructure + a beginning of ocamlbuild | 2009-03-20 | |
* | renamed %-mod.ml into %_mod.ml to avoid ocaml warning | 2009-03-18 | |
* | - 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 |