| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Nouveau Rewrite-in plus economique |  barras | 2002-03-04 |
| * | compat ocaml 3.03 |  filliatr | 2001-12-13 |
| * | Fusion de declare/add_constant, declare/add_parameter et add_discharged_constant |  herbelin | 2001-11-20 |
| * | GROS COMMIT: | barras | 2001-11-05 |
| * | Suppression option immediate_discharge; nettoyage de Declare et conséquences | herbelin | 2001-10-11 |
| * | Suppression des arguments sur les constantes, inductifs et constructeurs | barras | 2001-10-09 |
| * | Transparent | barras | 2001-09-20 |
| * | Deplacement des setoides. |  clrenard | 2001-09-19 |
| * | Modification de l'emplacement des fichiers pour les setoides. | clrenard | 2001-09-18 |
| * | Parsing | herbelin | 2001-08-10 |
| * | Ajout du .ml pour la tactique Setoid_replace | clrenard | 2001-07-10 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |