Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Porting from V6 finished, but not working. | 2000-10-25 | ||
* | Added xml contribution to configure | 2000-10-25 | ||
* | xml contribution created. | 2000-10-25 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Porting from V6 finished, but not working. | 2000-10-25 | ||
* | Added xml contribution to configure | 2000-10-25 | ||
* | xml contribution created. | 2000-10-25 |