aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.common
Commit message (Expand)AuthorAge
...
* Added the compilation of theories/Numbers to Makefile.common. The following t...Gravatar emakarov2007-10-01
* Découpage de Setoid.vGravatar notin2007-09-27
* Fix dependency bugs due to Program modules renamings.Gravatar msozeau2007-08-08
* Move Program tactics into a proper theories/ directory as they are general pu...Gravatar msozeau2007-08-07
* Build system: _really_ don't recurse into VCS metadata for file listsGravatar lmamane2007-08-07
* Build system:Gravatar lmamane2007-08-07
* Build system: BSD compatibility: do not use -printf action of findGravatar lmamane2007-08-01
* Add glob.dump to Makefile the recommended way and document theGravatar lmamane2007-07-25
* Makefile: slightly cleaner version of r10026Gravatar lmamane2007-07-18
* Makefile: don't mention bin/coqtop.byte twice to make when BEST=byte, it comp...Gravatar lmamane2007-07-18
* Makefile: -MG doesn't (and can't) do what is necessaryGravatar lmamane2007-07-16
* A cleaner solution to "make deletes .ml4.d files -> infinite loop" problemGravatar lmamane2007-07-16
* A emacs-specific comment to use makefile-mode on Makefile.*Gravatar letouzey2007-07-13
* New bootstrapping, improved, Makefile systemGravatar corbinea2007-07-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-29 19:05:55 +0000