| Commit message (Expand) | Author | Age |
* | Suppression de la dépendance de install-doc envers doc : | notin | 2008-10-17 |
* | Generalize usage of $(FIND_VCS_CLAUSE) and add debian to it | glondu | 2008-09-07 |
* | Do not install csdpcert in $(BINDIR) | glondu | 2008-09-07 |
* | Add some calls to $(STRIP) for consistency | glondu | 2008-09-07 |
* | $(DLLCOQRUN) is not an executable | glondu | 2008-09-07 |
* | Install dllcoqrun.so and use it by default | glondu | 2008-09-06 |
* | $(COQLIB) -> $(COQLIBINSTALL) in Makefiles | glondu | 2008-09-06 |
* | Use $(COQTOPEXE) to refer to bin/coqtop in Makefiles | glondu | 2008-09-06 |
* | Parametrize link flags for VM-dependent bytecode | glondu | 2008-09-05 |
* | Build coqrun library using ocamlmklib... | glondu | 2008-09-05 |
* | Rely on ocamlc to call the C compiler... | glondu | 2008-09-04 |
* | added Makefile target: validate (to recheck all .vo in a row) | barras | 2008-09-02 |
* | Typo (corrige le bug #1928) | notin | 2008-08-22 |
* | Renaming parser -> coq-parser | glondu | 2008-08-18 |
* | 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 |