aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2004-12-16majcoq
2004-12-15majcoq
2004-12-14majcoq
2004-12-13majcoq
2004-12-12majcoq
2004-12-11majcoq
2004-12-10majcoq
2004-12-10Hugo fixed a bug of refine, and it revealed a bug of functionalcoq
2004-12-09majcoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-04 23:45:10 +0000