Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Makes the new Proofview.tactic the basic type of Ltac. | 2013-11-02 | |
* | Opacifying the type of strategies. | 2013-09-26 | |
* | Splitting Rewrite into a code part and a CAMLP4-dependent one. | 2013-09-26 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Makes the new Proofview.tactic the basic type of Ltac. | 2013-11-02 | |
* | Opacifying the type of strategies. | 2013-09-26 | |
* | Splitting Rewrite into a code part and a CAMLP4-dependent one. | 2013-09-26 |