| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2007-07-25 | Modifications de la construction de la documentation de la librairie | notin |
| 2007-07-18 | Cleanly refuse to operate in the presence of unsaved changes in emacs | lmamane |
| 2007-07-16 | Do not try to clean the doc when no config/Makefile | lmamane |
| 2007-07-16 | Reorganise cleaning targets | lmamane |
| 2007-07-16 | A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem | lmamane |
| 2007-07-13 | New bootstrapping, improved, Makefile system | corbinea |
| 2007-07-12 | (Port of r9984) Easier debugging: | glondu |
| 2007-07-12 | Forgot to commit new Makefile | msozeau |
| 2007-07-09 | Petites corrections sur le Makefile | notin |
| 2007-07-02 | Missing include path of ocaml .h when generating deps | msozeau |
| 2007-06-29 | Added the directory theories/Numbers where axiomatizations and implementation... | emakarov |
| 2007-06-21 | Simplification de la construction du .depend: | notin |
| 2007-06-21 | Adding: Field instance for Q. | roconnor |
| 2007-06-14 | Correction du bug sur make depend | notin |
| 2007-06-09 | Various Program fixes, multiple pattern matches, aliases. Fix bug in coercion... | msozeau |
