summaryrefslogtreecommitdiff
path: root/tests/examplefiles/test.lean
Commit message (Collapse)AuthorAgeFilesLines
* Lean: update to Lean 3Bryan Gin-ge Chen2020-03-141-215/+207
| | | | From the fork at https://bitbucket.org/gebner/pygments-main/src/default/
* merge default into stableGeorg Brandl2016-01-171-0/+217