aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/ltac.out
Commit message (Expand)AuthorAge
* Exporting a generic argument induction_arg. As a consequence,Gravatar Hugo Herbelin2016-06-18
* About printing of traces of failures while calling ltac code.Gravatar Hugo Herbelin2016-06-06
* A small test of Print Ltac.Gravatar Hugo Herbelin2016-04-09
* Refining 0c320e79ba30 in fixing interpretation of constr under bindersGravatar Hugo Herbelin2015-10-11