Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Essai de simplification compte tenu de l'info de location | 2000-06-29 | |
* | Modification messages d'erreurs, possibilité de n'importe quel constr dans l... | 2000-05-26 | |
* | Portage (pour la forme) de minicoq | 2000-03-31 | |
* | modules profile, Coqinit et Coqtop (=main) | 1999-12-03 |