| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-06-26 | Fix bug # 3325 using canonical structure declarations where needed. | Matthieu Sozeau | |
| 2014-06-26 | Add an option to disable typeclass resolution during conversion, which | Matthieu Sozeau | |
| is has non-local effects. For now it is not disabled by default, but we'll try to disable it once the test-suite and contribs are stabilized. | |||
| 2014-06-24 | Update some bugs about typeclass resolution | Jason Gross | |
| 2014-06-10 | Add many more cases to the test-suite | Jason Gross | |
| I'd add more, but I'm tired and it's late and I should sleep. Maybe I'll pick up at 3279 (working down) another day. Bug 3344 is broken; [Fail Defined.] says that [Defined] has not failed, even though it raises an anomaly. So there's no way I can think of to test it. I've left it in the [opened] directory anyway. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |