Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added cartouche handling for Isabelle lexer (#2159) | Dacit | 2022-06-28 | 6 | -6182/+18405 |
| | | | Co-authored-by: Fabian Huch <huch@in.tum.de> | ||||
* | Also add auto-updatable output-based tests to examplefiles (#1689) | Oleh Prypin | 2021-01-20 | 2 | -0/+6182 |
Co-authored-by: Georg Brandl <georg@python.org> |