Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ltac now uses evar-based constrs. | 2017-02-14 | |
* | Tactics API using EConstr. | 2017-02-14 | |
* | Merge branch 'v8.6' | 2016-10-08 | |
* | Merge branch 'v8.6' | 2016-09-23 | |
* | Merging Stdarg and Constrarg. | 2016-09-21 | |
* | Make the Coq codebase independent from Ltac-related code. | 2016-09-16 | |
* | Made Ppanotation Ltac-agnostic. | 2016-09-15 | |
* | Moving Ltac-specific generic arguments to their own file in the ltac/ folder. | 2016-09-15 | |
* | Moving Ltac printers to ltac/ folder. | 2016-09-15 |