| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Get rid of "shouldsucceed" subdirectory by moving tests to parent directory. |  xclerc | 2013-09-20 |
| * | Delete trailing whitespaces in all *.{v,ml*} files |  glondu | 2009-09-17 |
| * | Fix wrong pattern in Morphisms. Fix bug scripts to reflect the fact that |  msozeau | 2009-04-20 |
| * | Add test-suite file for bug# 1905 and minor fix in Program/Equality. | msozeau | 2008-07-22 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |