Commit message (Expand) | Author | Age | |
---|---|---|---|
* | mise a jour V7 de la commande Extraction, et des options de coqtop et coqc | filliatr | 2001-04-03 |
* | divers | filliatr | 2000-12-15 |
* | config avec autoconf | filliatr | 2000-12-15 |
* | Initial revision | filliatr | 2000-12-12 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | mise a jour V7 de la commande Extraction, et des options de coqtop et coqc | filliatr | 2001-04-03 |
* | divers | filliatr | 2000-12-15 |
* | config avec autoconf | filliatr | 2000-12-15 |
* | Initial revision | filliatr | 2000-12-12 |