| Age | Commit message (Expand) | Author |
|---|
| 2008-08-16 | Fix build/install failures when ocamlopt is not available | glondu |
| 2008-08-04 | Évolutions diverses et variées. | herbelin |
| 2008-07-28 | Use COQINSTALLPREFIX for doc too | glondu |
| 2008-07-28 | Remove pcoq from check prerequisites | glondu |
| 2008-07-16 | Ajout de cibles pour le manuel de référence (refman-nodep, stdlib-nodep, re... | notin |
| 2008-07-16 | Ajout d'une option pour contrôler l'installation automatique de la documenta... | notin |
| 2008-06-25 | Installation de la documentation | notin |
| 2008-06-24 | Suppression de l'option -dump-glob et ajout d'une option -no-glob | notin |
| 2008-06-12 | Remplacement des 'cp' et 'mkdir' par 'install' | notin |
| 2008-06-06 | 2-3 petites modifs pour la compilation sous Windows... | notin |
| 2008-06-06 | Copie des .cmi en plus des .cma et des .cmxa | notin |
| 2008-06-03 | Fix setoid_rewrite documentation examples. | msozeau |
| 2008-06-02 | Petites corrections diverses : | herbelin |
| 2008-06-01 | Quelques amendements liées à la compilation des packages. | herbelin |
| 2008-05-31 | Fix last commit about revision: I'm unsure about the role of "set -e", | letouzey |
| 2008-05-31 | Attempt to avoid killing+recreating the file revision with same content. | letouzey |
| 2008-05-26 | the -g option is not recongnized in ocaml < 3.10.0 | jforest |
| 2008-05-22 | fixed dependency problems with the checker | barras |
| 2008-05-22 | improved coqchk targets | barras |
| 2008-05-22 | added coqchk to the main Makefile and a make variable VALIDATE to check the v... | barras |
| 2008-05-20 | Corrections d'erreurs rapportées par Frédéric Besson sur le précédent | herbelin |
| 2008-05-19 | Intégration de micromega ("omicron" pour fourier et sa variante sur Z, | herbelin |
| 2008-05-19 | Fix caml debug flags configuration, -g works with the native compiler only | msozeau |
| 2008-05-17 | Fix a de Bruijn bug in setoid_rewrite when rewriting under | msozeau |
| 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 |
