| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | [ltac] Move dummy plugin to plugins folder. |  Emilio Jesus Gallego Arias | 2017-03-03 |
| This is needed to fix `Declare ML Module "ltac_plugin". | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |