| Age | Commit message (Expand) | Author |
|---|---|---|
| 2001-03-07 | distinction contexte et signature | filliatr |
| 2001-03-06 | plus de commentaires | letouzey |
| 2001-03-05 | ocamlweb | filliatr |
| 2001-03-05 | extraction termes (suite) | filliatr |
| 2001-03-05 | indentation code | filliatr |
| 2001-02-27 | debut extraction termes; pp lambda | filliatr |
| 2001-02-26 | ajout Vprop, Tprop et Eprop | filliatr |
| 2001-02-22 | extraction des types et des inductifs | filliatr |
| 2001-02-21 | nouveau design ou le renommage sera fait a posteriori | filliatr |
| 2001-02-20 | mise en place fichiers extraction | filliatr |
| 2001-02-06 | mise en place extraction | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |