summaryrefslogtreecommitdiff
path: root/tests/examplefiles/isabelle/example_unicode.thy.output
Commit message (Expand)AuthorAgeFilesLines
* Added cartouche handling for Isabelle lexer (#2159)Dacit2022-06-281-0/+7785