| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-09-21 | Report missing arguments in error message | Tej Chajed | |
| Augment the "Illegal tactic application" error message with the number of extra arguments passed. Fixes BZ#5753. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |