User contributions

00:09, 20 January 2016 (diff | hist) . . (+265)‎ . . Talk:Equality ‎ (→‎jdfdrxds: new section)
23:12, 19 January 2016 (diff | hist) . . (+280)‎ . . Talk:Implicit and explicit parameters ‎ (→‎jdfdrxds: new section)
22:46, 19 January 2016 (diff | hist) . . (+266)‎ . . Talk:Metatheorem ‎ (→‎jdfdrxds: new section)
22:46, 19 January 2016 (diff | hist) . . (+263)‎ . . Talk:Twelf style guide ‎ (→‎jdfdrxds: new section)
19:54, 19 January 2016 (diff | hist) . . (+280)‎ . . Talk:Canonical forms lemma ‎ (→‎jdfdrxds: new section)
19:14, 19 January 2016 (diff | hist) . . (+259)‎ . . Talk:General description of Twelf ‎ (→‎jdfdrxds: new section)
17:26, 19 January 2016 (diff | hist) . . (+286)‎ . . Talk:Case studies ‎ (→‎jdfdrxds: new section)
16:22, 19 January 2016 (diff | hist) . . (+270)‎ . . Talk:Documentation ‎ (→‎jdfdrxds: new section)
16:16, 19 January 2016 (diff | hist) . . (+275)‎ . . Talk:Output freeness ‎ (→‎jdfdrxds: new section)

Show contributions of new accounts only IP address or username:
Namespace: Invert selection Associated namespace

Only show edits that are latest revisions Only show edits that are page creations
From year (and earlier): From month (and earlier):

Navigation menu