aboutsummaryrefslogtreecommitdiff
path: root/proofs/pfedit.ml
AgeCommit message (Expand)Author
2000-03-28Nettoyage de l'interface d'Astterm; renommage des {pf_,}constr_of_com* en {pf...herbelin
1999-12-14rattrapage exceptions autres que UserErrorfilliatr
1999-12-13 - méthode load sur les Hintsfilliatr
1999-12-10 - erreurs Pretypefilliatr
1999-12-10debug resetfilliatr
1999-12-09 - constantes avec recettesfilliatr
1999-12-08deplacement de Discharge dans toplevelfilliatr
1999-12-05premier debugagefilliatr
1999-12-02Pfedit (fin)filliatr
1999-12-01poursuite de Vernacentriesfilliatr
1999-12-01module Pfeditfilliatr