| Age | Commit message (Expand) | Author |
|---|
| 2010-03-05 | Makefile: some more cleanup | letouzey |
| 2010-03-04 | Makefile: cleanup of comments + a few words about recent changes in dev/doc/b... | letouzey |
| 2010-03-04 | Makefile: no more separate stages | letouzey |
| 2010-03-04 | Makefile: cleanup of variables containing lists of files, such as MLFILES | letouzey |
| 2010-03-04 | Makefile: make devdocclean was not removing *.dep.ps, btw let's remove *.dep.... | letouzey |
| 2010-03-04 | Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form) | letouzey |
| 2010-02-26 | Slight reorganisation of make clean, new entry cleankeepvo | letouzey |
| 2010-01-28 | Remove bashisms | glondu |
| 2010-01-26 | make init + NMake.v/NMake_gen.v | notin |
| 2009-12-02 | Remove interface plugin | glondu |
| 2009-09-28 | Applied patches from BSD/pkgsrc maintainer, so that Coq compiles out-of-the-box. | gmelquio |
| 2009-09-21 | Update link to "Recursive Make Considered Harmful" | glondu |
| 2009-04-08 | Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch | herbelin |
| 2009-04-03 | Makefile: ocamlbuild's _build is not traversed by find, and removed by make c... | letouzey |
| 2009-03-31 | Committed patch sent by Samuel Bronson on Mar 14 2009 to take care of | herbelin |
| 2009-03-26 | clean revision and coqdep_boot, too | lmamane |
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey |
| 2009-03-18 | renamed %-mod.ml into %_mod.ml to avoid ocaml warning | barras |
| 2009-03-17 | Makefile:clean: rm *-mod.ml | barras |
| 2009-03-16 | coqdep_boot: a specialized and dependency-free coqdep for killing one of the ... | letouzey |
| 2009-03-16 | Makefile: fix ignored errors, several attempts to clarify things | letouzey |
| 2009-03-14 | Makefile: ml dependencies of contribs are moved to .mllib files | letouzey |
| 2009-03-02 | Heavy modifications on the widget and edition tab creation mechanism. | vgross |
| 2009-02-11 | Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk | notin |
| 2009-02-11 | Document how FIND_VCS_CLAUSE has to be used | lmamane |
| 2009-02-11 | clean: revision is now called config/revision.ml | lmamane |
| 2009-02-11 | Convert all uses of FIND_VCS_CLAUSE to recommended style | lmamane |
| 2009-01-07 | Suite de la révision #11756 | notin |
| 2009-01-06 | Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans... | notin |
| 2008-12-16 | Take advantage of natdynlink when available: almost all contribs become loada... | letouzey |
| 2008-12-11 | do not install coqchk cmi files | barras |
| 2008-09-07 | Commit fixes from v8.2 branch (r11386 and r11387) | glondu |
| 2008-09-07 | Generalize usage of $(FIND_VCS_CLAUSE) and add debian to it | glondu |
| 2008-09-07 | Do not install csdpcert in $(BINDIR) | glondu |
| 2008-09-06 | More cleaning | glondu |
| 2008-09-06 | Use $(COQTOPEXE) to refer to bin/coqtop in Makefiles | glondu |
| 2008-08-18 | Renaming parser -> coq-parser | glondu |
| 2008-08-04 | Évolutions diverses et variées. | herbelin |
| 2008-06-01 | Quelques amendements liées à la compilation des packages. | herbelin |
| 2008-05-22 | Should fix the dependancy issue mentioned by J.Forest about NMake: | letouzey |
| 2008-05-08 | Integration of theories/Ints into theories/Numbers, again : better generation... | letouzey |
| 2008-05-08 | Integration of theories/Ints into theories/Numbers, part 3: auto-generation o... | letouzey |
| 2008-02-14 | Plongement de doc/Makefile dans la nouvelle architecutre des Makefile | notin |
| 2008-02-13 | Implement KEEP_ML4_PREPROCESSED option in build system | lmamane |
| 2008-02-06 | Détection plus souple et message un peu moins radical en cas de | herbelin |
| 2008-01-11 | Amélioration de la génération des graphes de dépendances | notin |
| 2007-12-13 | migration of ide/utf8.v to theories/Unicode/Utf8.v | letouzey |
| 2007-10-15 | build system: When using GOTO_STAGE, always go into that stage, even when tar... | lmamane |
| 2007-10-11 | Allow a few build system optimisations/corner-cutting | lmamane |
| 2007-07-25 | Add glob.dump to Makefile the recommended way and document the | lmamane |
