aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-01-02Pour permettre le chargement des printers en ocamldebug >= 3.07 : renommage s...herbelin
2005-01-02MAJherbelin
2005-01-02Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le chargement de p...herbelin
2005-01-02Découpage des printers pour ne pas avoir de dépendances en la vm dans les p...herbelin
2005-01-02Partie reduction_of_red_expr de tacred.ml qui dépend de la vm maintenant dan...herbelin
2005-01-01majcoq
2005-01-01Déplacement de 'project' dans Refiner pour supprimer des dépendances en Tac...herbelin
2004-12-31majcoq
2004-12-31Déplacement de 'project' dans Refiner pour supprimer des dépendances en Tac...herbelin
2004-12-31Suppression de la dépendance en Tacmach pour pouvoir être appelé de top_pr...herbelin
2004-12-31Compatibilité ancien nom de ocamldebug-coqherbelin
2004-12-31Remplacement ocamldebug-v7 par lien symbolique ne marche pas, finalement, crÃ...herbelin
2004-12-31Remplacement ocamldebug-v7 par ocamldebug-coq (2ème)herbelin
2004-12-30majcoq
2004-12-30Rétablissement d'un vrai Eval sous le contexte des définitions, pas un qui ...herbelin
2004-12-29majcoq
2004-12-29majcoq
2004-12-29ExtraRedExpr maintenant sans argument: pas très souple mais au moins convien...herbelin
2004-12-29Bug control_only_guardherbelin
2004-12-29Ajout printer bigintherbelin
2004-12-29Bug transformation assert dans commit précédentherbelin
2004-12-28majcoq
2004-12-27majcoq
2004-12-27majcoq
2004-12-27Utilisation d'entiers en précision arbitraire pour le noyau d'omega (cf #898)herbelin
2004-12-27Ajout test bug 860herbelin
2004-12-27Remplacement du coeur d'omega (omega.ml) par la version plus générale utili...herbelin
2004-12-27Remplacement du coeur d'omega (omega.ml) par la version plus gnrale utilise p...herbelin
2004-12-26majcoq
2004-12-25majcoq
2004-12-25majcoq
2004-12-25Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...herbelin
2004-12-25Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...herbelin
2004-12-24majcoq
2004-12-24Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...herbelin
2004-12-24Typoherbelin
2004-12-24Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...herbelin
2004-12-23majcoq
2004-12-23MAJ coq v8herbelin
2004-12-23MAJ coq v8herbelin
2004-12-23Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8)herbelin
2004-12-23Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8herbelin
2004-12-22majcoq
2004-12-22Mecanisme d'affichage des types (notamment les conclusions des buts) typiquem...herbelin
2004-12-21majcoq
2004-12-20majcoq
2004-12-19majcoq
2004-12-19In_dec transparent (wish #902)herbelin
2004-12-18majcoq
2004-12-17majcoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-24 18:45:45 +0000