Main public logs

This is a combined display of all logs except the patrol, review, tag and thanks logs:

Who performed the action – enter their name without prefix under "Performer".

The page or user affected by an action – enter the page or user name (prefixed with "User:") under "Target".

User logs

Performer:

Target (title or User:username for user):

From date (and earlier):

Tag filter:

Invert selection

20:36, 30 September 2022 Lexi.lambda talk contribs created page User:Lexi.lambda (←Created page with '{{lowercase title}}')
19:08, 30 September 2022 Lexi.lambda talk contribs created page Type environment (←Redirected page to Typing environment) Tag: New redirect
19:07, 30 September 2022 Lexi.lambda talk contribs created page Typing context (←Redirected page to Typing environment) Tag: New redirect
18:21, 30 September 2022 Lexi.lambda talk contribs moved page Talk:Type rule to Talk:Typing rule (The phrase “typing rule” is dramatically more common than “type rule” for this concept—most ngrams hits for “type rule” are spurious, whereas “typing rule” reliably refers to the concept)
18:21, 30 September 2022 Lexi.lambda talk contribs moved page Type rule to Typing rule over redirect (The phrase “typing rule” is dramatically more common than “type rule” for this concept—most ngrams hits for “type rule” are spurious, whereas “typing rule” reliably refers to the concept)
18:21, 30 September 2022 Lexi.lambda talk contribs deleted redirect Typing rule by overwriting (G6: Deleted to make way for move)
20:12, 23 June 2018 User account Lexi.lambda talk contribs was created