| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-11-01 | Implementing support for vos/vok files. | charguer |
| 2011-12-19 | test suite update after r14808 | pboutill |
| 2010-09-18 | Added test for bugs 2242, 2337, 2339 + remove the use of name "ambiguous" in | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |