| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-03-03 | Removing test for bug #2850. | Pierre-Marie Pédrot | |
| This test was actually checking that evar-containing terms were making the VM fail. Obviously this is not the case anymore, so the test is now invalid. | |||
| 2014-09-30 | Add a bunch of reproduction files for closed bugs. | Xavier Clerc | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |