Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixed some printing bugs. | 2010-04-18 | |
* | - Fixing #2090 (occur check missing when trying to solve evar-evar equation). | 2009-04-25 | |
* | Fixing #2044 (bad printing of primitive notation at the head of | 2009-02-06 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixed some printing bugs. | 2010-04-18 | |
* | - Fixing #2090 (occur check missing when trying to solve evar-evar equation). | 2009-04-25 | |
* | Fixing #2044 (bad printing of primitive notation at the head of | 2009-02-06 |