aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output-coqtop/DependentEvars2.out
AgeCommit message (Expand)Author
2020-06-01Slight improvement in naming existential variables.Hugo Herbelin
2019-09-19Fix #10420 Add dependent evar mapping info to outputJim Fehrle
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-02 12:44:03 +0000