summaryrefslogtreecommitdiff
path: root/tests/examplefiles/isabelle
Commit message (Expand)AuthorAgeFilesLines
* Added cartouche handling for Isabelle lexer (#2159)Dacit2022-06-286-6182/+18405
* Also add auto-updatable output-based tests to examplefiles (#1689)Oleh Prypin2021-01-202-0/+6182