aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2004-09-22link order againbarras
2004-09-20pbs with link order and depsbarras
2004-09-17restructuration des printers: proofs passe avant parsingbarras
2004-09-17repaired depsbarras
2004-09-15hiding the meta_map in evar_defsbarras
2004-09-03deplacement de clenv vers pretypingbarras
2004-09-03premiere reorganisation de l\'unificationbarras
2004-08-26Dépendance en pa_ifdef dans la ligne camlp4deps de q_coqast induit make depe...herbelin
2004-07-27Utilisation de la variable camlp4 OCAML_308 plutôt que d'en reconstruire un...herbelin
2004-07-20Minimisation de l'utilisation de pa_ifdef.cmo pour éviter les messages d'obs...herbelin
2004-07-19Indépendance de parser vis a vis de ocamlrunherbelin
2004-07-18Bugs make cleanherbelin
2004-07-17Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06herbelin
2004-07-16Typoherbelin
2004-07-16Mise en place mécanisme de compatibilité ocaml 3.08herbelin
2004-07-16Suppression quotifyherbelin
2004-07-16Suppression compilation explication.ml4herbelin
2004-06-28more evar stuffcorbinea
2004-05-04Typoherbelin
2004-04-21pb install de pcoqbarras
2004-04-07preparation a la release 8.0barras
2004-03-29tools/coq_vo2xml removed since no longer in use.sacerdot
2004-03-25ProofTree2Xml is no longer directly used by Xmlcommand.sacerdot
2004-03-17install de coqdocbarras
2004-03-16typocoq
2004-03-16install de pcoq incorrect + spec rpmbarras
2004-03-16pages de man pour coqwc et coqdocfilliatr
2004-03-04ROmegamohring
2004-02-24coqdocfilliatr
2004-02-19files from contrib/interface need files from contrib/field, the variablebertot
2004-02-18- fixed the Assert_failure error in kernel/modopsbarras
2004-02-12Mauvaise dependance en states7/initial.coqherbelin
2004-02-04clean-ide plus precisherbelin
2004-02-02reorganize the order of librairies in the entry CMO to make sure this canbertot
2004-01-27meilleure separation de compil et install de coq, coqide et coq-interfacebarras
2004-01-27Correction des cibles des theories indviduellesherbelin
2004-01-26deplacement des cma et cmxa dans les sous-repertoiresbarras
2004-01-21Deplacement lexer pour dependance dans constrinternherbelin
2004-01-20coqide utf8marche
2004-01-16ajoute une option -linkall dans compilation de bin/parser pour assurer quebertot
2004-01-14make libraries, lexing of more utf8 symbolsmarche
2004-01-13Suppression de Rsyntax en v8herbelin
2004-01-08Ajout cible install-ideherbelin
2004-01-07Cible redondante qui trouble les make non linuxherbelin
2003-12-03L'installation ne copiait pas les .vo du traducteurherbelin
2003-11-29installationherbelin
2003-11-29Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7...herbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 23:05:48 +0000