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).
(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