aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2003-11-29ground->firstorder, cc-> congruence, CC final commitcorbinea
2003-11-21Extraction des lemmes sur convert/nat_of_P de BinPos vers Pnat; ajout Pcase e...herbelin
2003-11-19ajout de Znumtheory.v dans ZArithletouzey
2003-11-18tout clean-ide dans cleanherbelin
2003-11-12Restructuration ZArithherbelin
2003-11-12petits changements de syntaxebarras
2003-11-09make moins verbeux, suite (et fin?)letouzey
2003-11-07Biblio standard sans mention de la possibilite d'etre impredicatif; Hurkens_s...herbelin
2003-11-05Ajout NArith et restructuration ZArithherbelin
2003-11-04pour que make clean efface ide/utf8_convert.ml venant d'un .mllletouzey
2003-11-02Ajout Diaconescu.vherbelin
2003-10-28Nouveaux fichiers dans Logic; prise en compte de l'option -strongly-classical...herbelin
2003-10-22Ajout NArithRingherbelin
2003-10-16Ground update + Linear removalcorbinea
2003-10-15Pour eviter que newtheories/Lists/List.v soit refait quand PolyList.v est ref...herbelin
2003-10-11Death of 'a somewhat cryptic module'herbelin
2003-10-10Intégration de la premiere partie de 'hightactics' dans 'tactics' suite à c...herbelin
2003-10-10Renommage en v8 de PolyList en List et List en MonoListherbelin
2003-10-08Renommage no-strict en -strict-implicitherbelin
2003-10-08Renommage no-strict en -strict-implicitherbelin
2003-10-06Pour rendre make un peu moins verbeuxletouzey
2003-10-06NEWCONTRIBVO doit apparaitre apres CONTRIBVOherbelin
2003-10-04Debranchement de la regle .v.vo pour que celle-ci ne soit pas prise quand new...herbelin
2003-10-04NEW*VO doit apparaitre apres *VO + diversherbelin
2003-10-03Bug cible newtheories/Init + diversherbelin
2003-10-03Nettoyage, simplification et compatibilite -jherbelin
2003-10-03oubli de deux flags -v7letouzey
2003-09-26pa_ifdef.cmo redondantherbelin
2003-09-23Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...herbelin
2003-09-22Passage à la V8 par défautherbelin
2003-09-15Reprise de coqbinaries dans translationherbelin
2003-09-13Indirection pour coqlib8 pour que la cible newtheories/%.v soit choisieherbelin
2003-09-12Retour à des cibles plus explicites: world7 et world8, install7 et install8herbelin
2003-09-12Ajout install7 et coqwc dans toolsherbelin
2003-09-12Ajout cible world7herbelin
2003-09-12Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et c...herbelin
2003-09-12Déplacement de Declare et Impargs à la fin de interp pour que Declare accè...herbelin
2003-09-05install coqwcfilliatr
2003-09-05coqwcfilliatr
2003-08-14Fusion -translate et -ftranslateherbelin
2003-08-11Option -v8 à coqtop lance coqtopnewherbelin
2003-07-02suppression de newtautocorbinea
2003-06-24suppression de FSets (redevient une contrib)filliatr
2003-06-15Ground major update ... mmm, sounds exciting !corbinea
2003-06-14dependcoq integre les fichiers de fsetsletouzey
2003-06-13Ground updatecorbinea
2003-06-13Ground update, new files.corbinea
2003-06-13install-fsetsfilliatr
2003-06-13FSets, mais pas compile' par make worldfilliatr
2003-06-10Module Bij inutiliseherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:17:18 +0000