| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-10-04 | rename test files (do not start by a digit) | Vincent Laporte |
| 2018-03-30 | Change Implicit Arguments to Arguments in test-suite | Jasper Hugunin |
| 2015-02-23 | Fixing test #2830. | Pierre-Marie Pédrot |
| 2015-01-17 | Revert "Adapting two files from test-suite to now forbidden Require's in modu... | Maxime Dénès |
| 2015-01-06 | Fixing test for bug #2830. | Pierre-Marie Pédrot |
| 2015-01-04 | Adapting two files from test-suite to now forbidden Require's in modules. | Hugo Herbelin |
| 2014-06-30 | Completing test for bug report #2830 | Hugo Herbelin |
| 2013-02-21 | A slightly more efficient test of well-typedness of restriction of | herbelin |
| 2013-01-28 | Fixing one part of #2830 (anomaly "defined twice" due to nested calls to | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |