| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-11-01 | Implementing support for vos/vok files. | charguer |
| 2017-09-13 | Adding a test for utf8 characters in directory names. | Hugo Herbelin |
| 2016-07-04 | test-suite: test checking of libraries checksum. | Maxime Dénès |
| 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 |