aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/class_tactics.mli
Commit message (Expand)AuthorAge
* Splitting out of auto.ml a file hints.ml dedicated to hints so as toGravatar Hugo Herbelin2014-10-07
* Makes the new Proofview.tactic the basic type of Ltac.Gravatar aspiwack2013-11-02
* Splitting Class_tactics between code and CAMLP4/5 declarations.Gravatar ppedrot2013-10-04