Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Extension shuffling (#23291)wip/sand-witch/modern-STV-extension-shuffling | Ben Gamari | 2023-05-17 | 1 | -25/+65 |
* | Updates language extension documentation | Trevis Elser | 2022-08-10 | 1 | -0/+3 |
* | Misc cleanup | Krzysztof Gogolewski | 2021-11-25 | 1 | -1/+1 |
* | Documentation: use https links | Krzysztof Gogolewski | 2021-09-08 | 1 | -1/+1 |
* | Reject nested foralls/contexts in instance types more consistently | Ryan Scott | 2020-06-30 | 1 | -7/+40 |
* | Split glasgow_exts into several files (#17316) | Sylvain Henry | 2020-01-25 | 1 | -0/+281 |