aboutsummaryrefslogtreecommitdiff
path: root/test-suite/coqdoc/bug11194.v
AgeCommit message (Collapse)Author
2020-04-05Fixes #11194 (Canonical/Coercion not located for coqdoc).Hugo Herbelin
The location was missing in the parser.
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 21:50:23 +0000