| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Correction due au changement de semantique de Match |  delahaye | 2001-09-21 |
| * | Transparent |  barras | 2001-09-20 |
| * | Parsing |  herbelin | 2001-08-10 |
| * | Ajout d'un Ring pour setoides |  clrenard | 2001-07-10 |
| * | Evar et Zeta ne sont plus implicites dans Delta (mais le restent dans Compute... | herbelin | 2001-07-02 |
| * | Reduction du terme preuve fourni par Field | delahaye | 2001-06-27 |
| * | Reduction tres significative du terme preuve | delahaye | 2001-06-27 |
| * | Découpage de g_tactic.ml4 en 2 (pour satisfaire les contraintes de la compil... | herbelin | 2001-06-25 |
| * | Changement de la structure des points fixes | barras | 2001-05-03 |
| * | Suppression d'une partie de code commente | delahaye | 2001-04-24 |
| * | Ajout des entetes | delahaye | 2001-04-20 |
| * | Ajout de Field | delahaye | 2001-04-19 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |