| Age | Commit message (Expand) | Author |
|---|---|---|
| 2000-05-23 | Bug stupide d'ordre d'évaluation | herbelin |
| 2000-05-22 | suppression de l'env/sigma dans les fonctions de reduction beta et iota seuls | herbelin |
| 2000-05-16 | Retrait du i pour tclTHEN_i et correction bugs Decompose | herbelin |
| 2000-05-02 | Problème avec motif du second-ordre | herbelin |
| 2000-04-30 | Adaptés pour le type constr_pattern et les nouvelles fonctions de filtrage | herbelin |
| 2000-04-26 | Introduction d'un type constr_pattern pour les différents filtrages | herbelin |
| 2000-03-30 | erreurs lexicales dans les patterns (manquait des espaces) | filliatr |
| 2000-03-21 | - bug make_module_marker (plus de # et de .obj maintenant) | filliatr |
| 2000-03-21 | MAJ ocaml 2.99 | herbelin |
| 2000-03-20 | Tauto | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |