3 Commits

Author	SHA1	Message	Date
Jan van Brügge	ed0f599b4f	isabelle: mark as broken on darwin ... There is no dedicated darwin maintainer for isabelle	2024-07-06 18:41:30 +01:00
Jan van Brügge	b68d63c236	isabelle-components.isabelle-linter: 2023-1.0.0 -> 2024-1.0.1	2024-07-06 18:41:29 +01:00
Jan van Brügge	17219eb17a	isabelle: 2023 -> 2024	2024-07-06 18:41:28 +01:00