| Age | Commit message (Expand) | Author |
|---|
| 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-05-07 | Integration of theories/Ints into theories/Numbers, part 1: moving files | letouzey |
| 2008-04-29 | Calcul plus robuste du numéro de révision (ne marche en positionnant | herbelin |
| 2008-04-29 | Correction d'un bug dans coq_makefile: génération des règles implicites en... | notin |
| 2008-04-28 | reparation bug de compil introduit au precedent commit | jforest |
| 2008-04-16 | first-order --> firstorder (kills a warning about not being a valid id) | letouzey |
| 2008-03-19 | migration of the old IntMap library from StdLib to a user contrib (Cachan/Int... | letouzey |
| 2008-03-19 | Various improvements of coqdep, resulting in a big speedup | letouzey |
| 2008-03-16 | Ajout cible programs comme synonyme de subtac | herbelin |
| 2008-03-14 | New option -glob for coqdep, in order to avoid nasty tricks with sed in Makefile | letouzey |
| 2008-02-28 | Coq_makefile: correction de l'appel aux exécutables Ocaml | notin |
| 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-13 | Implement NO_RECALC_DEPS option in build system | lmamane |
| 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-11-12 | Correction du bug #1741 | notin |
| 2007-10-18 | Intallation des .cma/.cmxa | notin |
| 2007-10-18 | Copie des .cma et des .cmxa, et de grammar.cma dans le répertoire de Coq (po... | notin |
| 2007-10-11 | Allow a few build system optimisations/corner-cutting | lmamane |
| 2007-10-08 | Calcul des dependances sous Windows | notin |
| 2007-10-05 | Correction du bug #1715 | notin |
| 2007-10-04 | Ajout option -lablgtkdir au configure (basé sur patch de Guillaume | herbelin |
| 2007-10-03 | Compilation sous windows | notin |
| 2007-10-02 | Preventing gcc to generate dependencies wrt OCaml files (otherwise, we run in... | notin |
| 2007-09-15 | * Adding compability with ocaml 3.10 + camlp5 (rework of | letouzey |
| 2007-07-18 | Makefile: Revert r10015, which was based on a misunderstanding | lmamane |
| 2007-07-18 | Makefile: needs GNU Make 3.81 | lmamane |
| 2007-07-18 | Makefile: more robustness all around | lmamane |
| 2007-07-17 | Makefile: Do _not_ delete dummy .ml files of .ml4 files even when not needed ... | lmamane |
| 2007-07-16 | Makefile: -MG doesn't (and can't) do what is necessary | lmamane |
| 2007-07-16 | A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem | lmamane |
| 2007-07-16 | Oups... empty .ml4.d files produced | lmamane |
| 2007-07-16 | CAMLP4DEPS will not work for .byteml and .optml | lmamane |
| 2007-07-16 | Generalized CAMLP4USE for pp dependencies | corbinea |
| 2007-07-16 | Makefile: work around gcc bug: lhs of make rule created by -MM does not inclu... | lmamane |
| 2007-07-16 | Makefile: in C, .d files need to depend on the same as the .o file | lmamane |
| 2007-07-16 | makefile: dependencies of .c files: assume missing headers are generated files | lmamane |
| 2007-07-15 | Makefile: use CFLAGS for dependency generation of .c files | lmamane |
| 2007-07-13 | A emacs-specific comment to use makefile-mode on Makefile.* | letouzey |
| 2007-07-13 | New bootstrapping, improved, Makefile system | corbinea |
