summaryrefslogtreecommitdiff
path: root/tests/examplefiles/coq
Commit message (Expand)AuthorAgeFilesLines
* coq: Add some common keywords and improve recognition of Set and qualified id...Xia Li-yao2022-06-113-20/+152
* Also add auto-updatable output-based tests to examplefiles (#1689)Oleh Prypin2021-01-202-0/+4998