| Commit message (Expand) | Author | Age |
* | Install csdpcert with libraries | glondu | 2008-08-16 |
* | Fix build/install failures when ocamlopt is not available | glondu | 2008-08-16 |
* | Évolutions diverses et variées. | herbelin | 2008-08-04 |
* | Use COQINSTALLPREFIX for doc too | glondu | 2008-07-28 |
* | Remove pcoq from check prerequisites | glondu | 2008-07-28 |
* | 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-07-16 |
* | Installation de la documentation | notin | 2008-06-25 |
* | Suppression de l'option -dump-glob et ajout d'une option -no-glob | notin | 2008-06-24 |
* | Remplacement des 'cp' et 'mkdir' par 'install' | notin | 2008-06-12 |
* | 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-06 |
* | Fix setoid_rewrite documentation examples. | msozeau | 2008-06-03 |
* | Petites corrections diverses : | herbelin | 2008-06-02 |
* | Quelques amendements liées à la compilation des packages. | herbelin | 2008-06-01 |
* | 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-31 |
* | the -g option is not recongnized in ocaml < 3.10.0 | jforest | 2008-05-26 |
* | 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-22 |
* | Corrections d'erreurs rapportées par Frédéric Besson sur le précédent | herbelin | 2008-05-20 |
* | 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-19 |
* | Fix a de Bruijn bug in setoid_rewrite when rewriting under | msozeau | 2008-05-17 |
* | 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-08 |
* | Integration of theories/Ints into theories/Numbers, part 1: moving files | letouzey | 2008-05-07 |
* | 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-29 |
* | reparation bug de compil introduit au precedent commit | jforest | 2008-04-28 |
* | first-order --> firstorder (kills a warning about not being a valid id) | letouzey | 2008-04-16 |
* | 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-19 |
* | Ajout cible programs comme synonyme de subtac | herbelin | 2008-03-16 |
* | New option -glob for coqdep, in order to avoid nasty tricks with sed in Makefile | letouzey | 2008-03-14 |
* | Coq_makefile: correction de l'appel aux exécutables Ocaml | notin | 2008-02-28 |
* | Plongement de doc/Makefile dans la nouvelle architecutre des Makefile | notin | 2008-02-14 |
* | Implement KEEP_ML4_PREPROCESSED option in build system | lmamane | 2008-02-13 |
* | Implement NO_RECALC_DEPS option in build system | lmamane | 2008-02-13 |
* | Amélioration de la génération des graphes de dépendances | notin | 2008-01-11 |
* | migration of ide/utf8.v to theories/Unicode/Utf8.v | letouzey | 2007-12-13 |
* | Correction du bug #1741 | notin | 2007-11-12 |
* | 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-18 |
* | Allow a few build system optimisations/corner-cutting | lmamane | 2007-10-11 |
* | Calcul des dependances sous Windows | notin | 2007-10-08 |
* | Correction du bug #1715 | notin | 2007-10-05 |
* | Ajout option -lablgtkdir au configure (basé sur patch de Guillaume | herbelin | 2007-10-04 |
* | Compilation sous windows | notin | 2007-10-03 |