aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/ErrorInCanonicalStructures.v
Commit message (Expand)AuthorAge
* More detailed error messages for Canonical Structure, #6398Gravatar Paul Steckler2018-02-06