Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ajout d'un LetIn primitif. | 2000-09-10 | |
* | Nettoyage de l'interface de Pfedit | 2000-05-04 | |
* | bug make_strength repare | 1999-12-03 | |
* | modules profile, Coqinit et Coqtop (=main) | 1999-12-03 | |
* | with_heavy_rollback deplace dans States | 1999-09-29 | |
* | retablissement du toplevel | 1999-09-28 |