Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix bug #5116: [Print Ltac] should be able to print strategies. | 2016-10-12 | |
* | Removing useless tactic compatibility layer in Rewrite. | 2016-09-07 | |
* | Creating a dedicated ltac/ folder for Hightactics. | 2016-03-21 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix bug #5116: [Print Ltac] should be able to print strategies. | 2016-10-12 | |
* | Removing useless tactic compatibility layer in Rewrite. | 2016-09-07 | |
* | Creating a dedicated ltac/ folder for Hightactics. | 2016-03-21 |