aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/PatternsInBinders.v
AgeCommit message (Expand)Author
2016-07-19Some extra fixes in printing patterns in binders.Hugo Herbelin
2016-06-27Patterns in binders: printing testsArnaud Spiwack
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-30 10:42:35 +0000