Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | coq: Add some common keywords and improve recognition of Set and qualified id... | Xia Li-yao | 2022-06-11 | 3 | -20/+152 |
* | Also add auto-updatable output-based tests to examplefiles (#1689) | Oleh Prypin | 2021-01-20 | 2 | -0/+4998 |