| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Des progres dans l'integration |  herbelin | 1999-11-25 |
| * | MAJ pour fusion avec pretyping | herbelin | 1999-11-24 |
| * | Versions initiales | herbelin | 1999-11-24 |
| * | Deplace dans parsing | herbelin | 1999-11-24 |
| * | Version initiale | herbelin | 1999-11-24 |
| * | Version préliminaire | herbelin | 1999-11-19 |
| * | pas de grosse banniere; pas de double point-virguke |  filliatr | 1999-11-18 |
| * | Traducteur ast -> rawterm | herbelin | 1999-10-24 |
| * | Type ML des termes non prétypés | herbelin | 1999-10-24 |
| * | organisation de trad (entre parsing/ et pretyping/) | filliatr | 1999-10-13 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |