summaryrefslogtreecommitdiff
path: root/tests/examplefiles/isabelle/example_ascii.thy.output
Commit message (Collapse)AuthorAgeFilesLines
* Added cartouche handling for Isabelle lexer (#2159)Dacit2022-06-281-0/+8566
Co-authored-by: Fabian Huch <huch@in.tum.de>