aboutsummaryrefslogtreecommitdiff
path: root/test-suite/ltac2/std_tactics.v
AgeCommit message (Expand)Author
2021-04-08remove `with hintdb` variant of Ltac2 `unify`, becauseSamuel Gruetter
2021-04-07unify for Ltac2Samuel Gruetter
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:52:59 +0000