All public logs

From The Twelf Project

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

Logs

All public logs Block log Content model change log Deletion log Import log Merge log Move log Patrol log Protection log Tag log Tag management log Upload log User creation log User rights log Performer:  Target (title or User:username for user):   Search titles starting with this text

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

Show tag log

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 22:49, 18 December 2020 Rsimmons (Talk | contribs) protected "User:Rsimmons/Subtype"‎ ‎[create=sysop] (indefinite) (hist)
• 22:48, 18 December 2020 Rsimmons (Talk | contribs) changed protection level for "User:Rsimmons/primop.elf"‎ ‎[create=sysop] (indefinite) (Excessive vandalism) (hist)
• 22:48, 18 December 2020 Rsimmons (Talk | contribs) protected "User:Rsimmons/primop.elf"‎ ‎[create=sysop] (indefinite) (hist)
• 22:48, 18 December 2020 Rsimmons (Talk | contribs) deleted page User:Rsimmons/primop.elf (content was spam)
• 22:47, 18 December 2020 Rsimmons (Talk | contribs) protected "User:Rsimmons/Handled exceptions"‎ ‎[edit=sysop] (indefinite)‎[move=sysop] (indefinite) (hist)
• 22:46, 18 December 2020 Rsimmons (Talk | contribs) deleted page User:Rsimmons/Subtype (content was: "We jzh.jhbg.twelf.org.rqj.ra restarted artefacta: [URL=http://bay-head-nj.com/prednisone-fr/ - prednisone available in beijing[/URL - [URL=http://naturalbloodpressuresolutions.com/amoxicillin/ - easy buy amoxicillin[/URL - [URL=http://...")
• 20:18, 20 March 2018 Rsimmons (Talk | contribs) protected "User:Rsimmons/Fluid binding"‎ ‎[edit=sysop] (indefinite)‎[move=sysop] (indefinite) (hist)
• 20:18, 20 March 2018 Rsimmons (Talk | contribs) automatically marked revision 8203 of page User:Rsimmons/Fluid binding patrolled
• 20:17, 20 March 2018 Rsimmons (Talk | contribs) protected "User:Rsimmons/Lecture 23: Typed Lambda Calculus in Twelf"‎ ‎[edit=sysop] (indefinite)‎[move=sysop] (indefinite) (hist)
• 20:17, 20 March 2018 Rsimmons (Talk | contribs) automatically marked revision 8201 of page User:Rsimmons/Lecture 23: Typed Lambda Calculus in Twelf patrolled
• 20:16, 20 March 2018 Rsimmons (Talk | contribs) deleted page Talk:Error messages (got spam)
• 20:16, 20 March 2018 Rsimmons (Talk | contribs) automatically marked revision 8200 of page Talk:Error messages patrolled
• 15:37, 17 March 2016 Rsimmons (Talk | contribs) blocked Jacintheford (Talk | contribs) with an expiry time of indefinite (account creation disabled) (Spamming links to external sites)
• 15:37, 17 March 2016 Rsimmons (Talk | contribs) automatically marked revision 8149 of page Bibliography of LF patrolled
• 16:23, 10 February 2016 Rsimmons (Talk | contribs) changed group membership for User:Boyland from party-elf to party-elf, administrator and bureaucrat (Power boost!)
• 16:20, 10 February 2016 Rsimmons (Talk | contribs) blocked BellRDJHecfqvq (Talk | contribs) with an expiry time of indefinite (account creation disabled)
• 16:20, 10 February 2016 Rsimmons (Talk | contribs) blocked ChatmanCallananmCul (Talk | contribs) with an expiry time of indefinite (account creation disabled)
• 16:20, 10 February 2016 Rsimmons (Talk | contribs) blocked Ashabs9a706 (Talk | contribs) with an expiry time of indefinite (account creation disabled)
• 16:20, 10 February 2016 Rsimmons (Talk | contribs) blocked 46.246.87.122 (Talk) with an expiry time of indefinite (anonymous users only, account creation disabled)
• 16:20, 10 February 2016 Rsimmons (Talk | contribs) blocked 122.102.45.251 (Talk) with an expiry time of indefinite (anonymous users only, account creation disabled)
• 16:20, 10 February 2016 Rsimmons (Talk | contribs) blocked RenneGriestilyra (Talk | contribs) with an expiry time of indefinite (account creation disabled)
• 16:20, 10 February 2016 Rsimmons (Talk | contribs) blocked Bertie574 (Talk | contribs) with an expiry time of indefinite (account creation disabled)
• 16:20, 10 February 2016 Rsimmons (Talk | contribs) blocked FukumotoIacovettoBGHQr (Talk | contribs) with an expiry time of indefinite (account creation disabled)
• 16:20, 10 February 2016 Rsimmons (Talk | contribs) blocked 46.246.83.233 (Talk) with an expiry time of indefinite (anonymous users only, account creation disabled)
• 16:20, 10 February 2016 Rsimmons (Talk | contribs) blocked Lenhayes9719 (Talk | contribs) with an expiry time of indefinite (account creation disabled)
• 16:20, 10 February 2016 Rsimmons (Talk | contribs) blocked Ashab9gnn1z (Talk | contribs) with an expiry time of indefinite (account creation disabled)
• 16:19, 10 February 2016 Rsimmons (Talk | contribs) blocked 46.246.86.77 (Talk) with an expiry time of indefinite (anonymous users only, account creation disabled)
• 16:19, 10 February 2016 Rsimmons (Talk | contribs) blocked 178.73.219.233 (Talk) with an expiry time of indefinite (anonymous users only, account creation disabled)
• 16:19, 10 February 2016 Rsimmons (Talk | contribs) blocked StieglitzColinartbN (Talk | contribs) with an expiry time of indefinite (account creation disabled)
• 16:19, 10 February 2016 Rsimmons (Talk | contribs) blocked MarcrumVanderveervqFr (Talk | contribs) with an expiry time of indefinite (account creation disabled)
• 16:17, 10 February 2016 Rsimmons (Talk | contribs) automatically marked revision 8147 of page Talk:Equality patrolled
• 18:04, 30 January 2016 Rsimmons (Talk | contribs) blocked AliajupchxaufHasson (Talk | contribs) with an expiry time of indefinite (account creation disabled, cannot edit own talk page)
• 18:04, 30 January 2016 Rsimmons (Talk | contribs) blocked BuckjsuexnntbcCarreker (Talk | contribs) with an expiry time of indefinite (account creation disabled)
• 18:03, 30 January 2016 Rsimmons (Talk | contribs) blocked CuperusHeigllNfir (Talk | contribs) with an expiry time of indefinite (account creation disabled)
• 18:03, 30 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8075 of page Talk:Case studies patrolled
• 18:02, 30 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8073 of page Talk:Equality patrolled
• 18:01, 30 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8072 of page Talk:Error messages patrolled
• 18:01, 30 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8071 of page Talk:CPS conversion patrolled
• 18:01, 30 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8070 of page Talk:Uniqueness lemma patrolled
• 18:01, 30 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8069 of page Talk:Implicit and explicit parameters patrolled
• 18:01, 30 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8068 of page Talk:Metatheorem patrolled
• 18:01, 30 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8067 of page Talk:Twelf style guide patrolled
• 18:01, 30 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8066 of page Talk:Canonical forms lemma patrolled
• 18:01, 30 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8065 of page Talk:General description of Twelf patrolled
• 18:01, 30 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8064 of page Talk:Documentation patrolled
• 18:01, 30 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8063 of page Talk:Output freeness patrolled
• 18:01, 30 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8062 of page Substitution lemma patrolled
• 18:00, 30 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8061 of page Bibliography of LF patrolled
• 19:01, 17 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8013 of page What's new patrolled
• 18:59, 17 January 2016 Rsimmons (Talk | contribs) automatically marked revision 8012 of page Download patrolled

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)