| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-05-25 | Fix output tests for location errors when running in async mode. | Théo Zimmermann | |
| In this mode, an additional error was emitted, which made the test fail: Error: There are pending proofs: Unnamed_thm. | |||
| 2020-05-10 | Adding tests for error location | Hugo Herbelin | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |