Commit message (Expand) | Author | Age | |
---|---|---|---|
* | GROS COMMIT: | barras | 2001-11-05 |
* | Modifs Tacinterp + debugger de tactiques + syntaxe de R + DiscrR | delahaye | 2001-10-23 |
* | 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 |