Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-07-07 | treewide: set `meta.changelog` | h7x4 | 1 | -0/+1 |
2024-07-06 | isabelle: mark as broken on darwin | Jan van Brügge | 1 | -0/+1 |
2024-07-06 | isabelle-components.isabelle-linter: 2023-1.0.0 -> 2024-1.0.1 | Jan van Brügge | 1 | -3/+3 |
2024-07-06 | isabelle: 2023 -> 2024 | Jan van Brügge | 3 | -0/+291 |
2024-06-09 | treewide: Remove indefinite article from meta.description | Alexis Hildebrandt | 1 | -1/+1 |
2024-04-24 | iscc: init at 6.2.2 | Sean Link | 1 | -0/+63 |