| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-08-01 | Removing some tactic compatibility layer. | Pierre-Marie Pédrot |
| 2014-06-17 | Removing dead code. | Pierre-Marie Pédrot |
| 2014-06-06 | Moving the [split] tactic out of the AST. | Pierre-Marie Pédrot |
| 2014-06-02 | Removing symmetry from the atomic tactics. | Pierre-Marie Pédrot |
| 2014-05-22 | Moving the "specialize" tactic out of the AST. Also removed an obsolete | Pierre-Marie Pédrot |
| 2014-05-21 | Moving left & right tactics out of the AST. | Pierre-Marie Pédrot |
| 2014-05-20 | Moving (e)transitivity out of the AST. | Pierre-Marie Pédrot |
| 2014-05-20 | Tactics declared through TACTIC EXTEND that are of the form | Pierre-Marie Pédrot |
| 2014-05-20 | Tentative to add constr-using primitive tactics without grammar rules. | Pierre-Marie Pédrot |
| 2014-05-16 | Moving argument-free tactics out of the AST into a dedicated | Pierre-Marie Pédrot |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |