| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-06-16 | Removing Proof_type from the API. | Pierre-Marie Pédrot | |
| Unluckily, this forces replacing a lot of code in plugins, because the API defined the type of goals and tactics in Proof_type, and by the no-alias rule, this was the only one. But Proof_type was already implicitly deprecated, so that the API should have relied on Tacmach instead. | |||
| 2017-06-07 | Put all plugins behind an "API". | Matej Kosik | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |