aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/bug5778.out
AgeCommit message (Expand)Author
2018-04-02Fix #6404 - Print tactics called by ML tacticsJason Gross
2017-12-14Make [abstract] nodes show up in the Ltac profileJason Gross
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:39:56 +0000