Commit message (Expand) | Author | Age | |
---|---|---|---|
* | ntrefiner.ml* removed in module xml | 2000-10-26 | |
* | 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 | |
---|---|---|---|
* | ntrefiner.ml* removed in module xml | 2000-10-26 | |
* | Porting from V6 finished, but not working. | 2000-10-25 | |
* | Added xml contribution to configure | 2000-10-25 | |
* | xml contribution created. | 2000-10-25 |