Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Pass user symbol to tactic notation printers. | 2016-05-08 | |
* | Documenting API. | 2016-04-25 | |
* | Disentangle tactic notation resolution from Pcoq. | 2016-04-24 | |
* | Higher-level API for tactic notations. | 2016-04-24 | |
* | Moving and enhancing the grammar_tactic_prod_item_expr type. | 2016-04-14 | |
* | Moving the code handling tactic notations to Tacentries. | 2016-03-31 | |
* | Creating a dedicated ltac/ folder for Hightactics. | 2016-03-21 |