aboutsummaryrefslogtreecommitdiffhomepage
path: root/ltac/g_rewrite.ml4
Commit message (Expand)AuthorAge
* Moving Ltac-specific parsing API to ltac/ folder.Gravatar Pierre-Marie Pédrot2016-09-14
* Removing useless tactic compatibility layer in Rewrite.Gravatar Pierre-Marie Pédrot2016-09-07
* Fixing Add Parametric Relation by adding printer for binders.Gravatar Hugo Herbelin2016-06-16
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Revert "Fixing Add Parametric Relation by adding printer for binders."Gravatar Hugo Herbelin2016-04-27
* Fixing Add Parametric Relation by adding printer for binders.Gravatar Hugo Herbelin2016-04-27
* Removing redundant *_TYPED AS clauses in EXTEND statements.Gravatar Pierre-Marie Pédrot2016-04-12
* Creating a dedicated ltac/ folder for Hightactics.Gravatar Pierre-Marie Pédrot2016-03-21