| Age | Commit message (Expand) | Author |
|---|---|---|
| 2001-02-08 | simplification du make depend; fonctions de stat. util. memoire dans certains... | filliatr |
| 2001-02-05 | calcul des dependances camlp4 et production directe ml4 -> cmo (avec Judicael) | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/Makefile.dep