summaryrefslogtreecommitdiff
path: root/docs/users_guide/exts/instances.rst
Commit message (Expand)AuthorAgeFilesLines
* User's guide: Clarify overlapping instance candidate eliminationJason Shipman2023-01-301-2/+2
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-10/+94
* Update instances.rst, clarifying InstanceSigssheaf2022-09-061-5/+30
* Updates language extension documentationTrevis Elser2022-08-101-0/+12
* Documentation fixesKrzysztof Gogolewski2021-01-301-0/+2
* Remove some redundant validity checks.Richard Eisenberg2021-01-271-78/+6
* Update user's guide entry on demand analysis and worker/wrapperSebastian Graf2020-11-201-1/+1
* Small documentation fixesKrzysztof Gogolewski2020-10-031-1/+3
* users guide: Fix various documentation issuesBen Gamari2020-09-191-6/+6
* Reject nested foralls/contexts in instance types more consistentlyRyan Scott2020-06-301-0/+71
* Fix typos and formatting in user guideJan HrĨek2020-06-161-4/+4
* Split glasgow_exts into several files (#17316)Sylvain Henry2020-01-251-0/+623