summaryrefslogtreecommitdiff
path: root/tests/examplefiles/example_coq.v
Commit message (Expand)AuthorAgeFilesLines
* Add <-> token to Coq lexerGaurav Jain2014-06-291-0/+4