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".
- 11:51, 10 July 2006 Kaustuv talk contribs uploaded File:Drinker principle incorrect sequent proof.png (Incorrect proof of the drinker principle in a cut-free sequent calculus.)