aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-11-04Conformité au principe du nouveau warning X de ocaml 3.09herbelin
2005-11-04Confusion message erreur détectée par nouveau warning X de ocaml 3.09herbelin
2005-11-04Confusion assert/error détectée par nouveau warning X de ocaml 3.09herbelin
2005-11-04Point-virgule manquant ligne 914 détecté par nouveau warning X de ocaml 3.09herbelin
2005-11-03majcoq
2005-11-03*** empty log message ***mohring
2005-11-03deplacement params_indmohring
2005-11-02majcoq
2005-11-02majcoq
2005-11-02Types inductifs parametriquesmohring
2005-11-02Test reproductibilité du bug #1031herbelin
2005-11-02Correction bug invert_names (cf bug #1031)herbelin
2005-11-02Ajout tests interactifsherbelin
2005-11-01majcoq
2005-11-01Interactive test of Backherbelin
2005-11-01Correction bug #1030 (conséquence du commit 1.84 sur le discharge: add_froze...herbelin
2005-10-31majcoq
2005-10-30majcoq
2005-10-29majcoq
2005-10-28majcoq
2005-10-27majcoq
2005-10-27majcoq
2005-10-27catchable_exception laisse passer les InductiveErrorwerner
2005-10-26majcoq
2005-10-25majcoq
2005-10-24majcoq
2005-10-23majcoq
2005-10-22majcoq
2005-10-21majcoq
2005-10-20majcoq
2005-10-20erreur coqdoc + headsepmohring
2005-10-19majcoq
2005-10-18majcoq
2005-10-17majcoq
2005-10-16majcoq
2005-10-15majcoq
2005-10-14majcoq
2005-10-13majcoq
2005-10-12majcoq
2005-10-11majcoq
2005-10-10majcoq
2005-10-09majcoq
2005-10-08majcoq
2005-10-07majcoq
2005-10-07Ajout maj répertoire d'archivage par version de Coqherbelin
2005-10-06majcoq
2005-10-06MAJ pauillac -> yquemherbelin
2005-10-05majcoq
2005-10-04majcoq
2005-10-03majcoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-16 04:27:06 +0000