| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Tentative fix for #3461: Anomaly: Uncaught exception ↵ |  Pierre-Marie Pédrot | 2015-05-18 |
| Pretype_errors.PretypeError. Instad of trying to print the exception, we raise it in the tactic monad. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |