| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Revert "Adapting two files from test-suite to now forbidden Require's in ↵ |  Maxime Dénès | 2015-01-18 |
| | | | | | | | modules." This reverts commit b0fceb96d0aaa2db6e774c629503be459017608e. | ||
| * | Adapting two files from test-suite to now forbidden Require's in modules. |  Hugo Herbelin | 2015-01-04 |
| | | | | | | Status of 335 and 3363 which are explicitly testing Require in modules still to be addressed (to remove from test suite?). | ||
| * | Add regression tests for 3188 and 3265 |  Jason Gross | 2014-04-22 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |