Main public logs

Combined display of all available logs of Official NixOS Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

Logs

Performer:

Target (title or User:username for user):

From date (and earlier):

Tag filter:

Invert selection

Show additional logs:

Thanks log

Patrol log

Tag log

User creation log

08:15, 25 July 2026 Jthulhu talk contribs moved page Lean4 to Lean 4 (Misspelled title)
08:14, 25 July 2026 Jthulhu talk contribs created page Lean4 (Added basic Lean4 page.) Tag: Visual edit