coffee/coffee.pygments
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
This repository has been archived on 2024-06-20. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.
coffee.pygments/tests/examplefiles/isabelle
History
Exact
Dacit dab512c997
Added cartouche handling for Isabelle lexer (#2159) 
Co-authored-by: Fabian Huch <huch@in.tum.de>
2022-06-28 12:55:24 +02:00
..
example_ascii.thy Added cartouche handling for Isabelle lexer (#2159) 2022-06-28 12:55:24 +02:00
example_ascii.thy.output Added cartouche handling for Isabelle lexer (#2159) 2022-06-28 12:55:24 +02:00
example_unicode.thy Added cartouche handling for Isabelle lexer (#2159) 2022-06-28 12:55:24 +02:00
example_unicode.thy.output Added cartouche handling for Isabelle lexer (#2159) 2022-06-28 12:55:24 +02:00