All public logs
From Termination-Portal.org
Combined display of all available logs of Termination-Portal.org.
You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 09:30, 29 November 2011 C-Otto (Talk | contribs) marked revision 1178 of People:Carsten Otto patrolled (automatic)
- 09:29, 29 November 2011 C-Otto (Talk | contribs) marked revision 1177 of People:Carsten Otto patrolled (automatic)
- 09:28, 29 November 2011 C-Otto (Talk | contribs) marked revision 1176 of People:Carsten Otto patrolled (automatic)
- 09:27, 29 November 2011 C-Otto (Talk | contribs) deleted "Bibtex:Identifier" (Author request: content was: " <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below th..." (and the only contributor was "[[Special:Contributions/C)
- 09:25, 29 November 2011 C-Otto (Talk | contribs) marked revision 1175 of Bibtex:Identifier patrolled (automatic)
- 09:07, 29 November 2011 C-Otto (Talk | contribs) marked revision 1174 of Termination Portal patrolled (automatic)
- 23:37, 7 November 2011 Fuhs (Talk | contribs) created new account User:Hezzel (Talk | contribs)
- 20:06, 24 May 2011 C-Otto (Talk | contribs) marked revision 1162 of Termination Competition 2011 patrolled (automatic)
- 16:34, 11 April 2011 C-Otto (Talk | contribs) marked revision 1148 of People:Marc Brockschmidt patrolled (automatic)
- 16:34, 11 April 2011 C-Otto (Talk | contribs) marked revision 1147 of User talk:Mmjb patrolled (automatic)
- 16:34, 11 April 2011 C-Otto (Talk | contribs) created new account User:Mmjb (Talk | contribs)
- 16:08, 11 April 2011 C-Otto (Talk | contribs) marked revision 1146 of User talk:Cryingshadow patrolled (automatic)
- 16:08, 11 April 2011 C-Otto (Talk | contribs) created new account User:Cryingshadow (Talk | contribs)
- 15:54, 11 April 2011 C-Otto (Talk | contribs) marked revision 1145 of People:Carsten Otto patrolled (automatic)
- 15:53, 11 April 2011 C-Otto (Talk | contribs) marked revision 1144 of People:Thomas Ströder patrolled (automatic)
- 15:53, 11 April 2011 C-Otto (Talk | contribs) marked revision 1143 of People:Thomas Ströder patrolled (automatic)
- 15:52, 11 April 2011 C-Otto (Talk | contribs) marked revision 1142 of People:Thomas Ströder patrolled (automatic)
- 15:52, 11 April 2011 C-Otto (Talk | contribs) marked revision 1141 of People:Thomas Ströder patrolled (automatic)
- 15:49, 11 April 2011 C-Otto (Talk | contribs) marked revision 1140 of People:Manh Thang Nguyen patrolled (automatic)
- 14:28, 28 March 2011 C-Otto (Talk | contribs) marked revision 1139 of Java Bytecode patrolled (automatic)
- 14:27, 28 March 2011 C-Otto (Talk | contribs) marked revision 1138 of Java Bytecode patrolled (automatic)
- 11:55, 19 August 2010 C-Otto (Talk | contribs) marked revision 1122 of News:Termination Competition 2010 in July patrolled (automatic)
- 09:27, 26 July 2010 C-Otto (Talk | contribs) marked revision 1121 of User talk:Kdoss patrolled (automatic)
- 15:25, 24 June 2010 C-Otto (Talk | contribs) marked revision 1111 of User talk:Dean Voets patrolled (automatic)
- 10:59, 25 May 2010 C-Otto (Talk | contribs) deleted "Complexity:PageProposal" (Author request)
- 10:34, 25 May 2010 Georg.moser (Talk | contribs) moved Complexity to Complexity:Old
- 13:55, 14 May 2010 C-Otto (Talk | contribs) marked revision 1092 of User talk:Arubio patrolled (automatic)
- 14:46, 9 April 2010 Griff (Talk | contribs) moved Tools:Tool Cime to Tools:Cime (redundant naming)
- 15:55, 26 March 2010 C-Otto (Talk | contribs) marked revision 1051 of Complexity patrolled (automatic)
- 12:01, 22 December 2009 C-Otto (Talk | contribs) marked revision 1032 of Java Bytecode patrolled (automatic)
- 11:57, 22 December 2009 C-Otto (Talk | contribs) marked revision 1031 of Tools:Julia patrolled (automatic)
- 09:20, 22 December 2009 C-Otto (Talk | contribs) marked revision 1029 of User talk:Fred patrolled (automatic)
- 16:52, 21 December 2009 C-Otto (Talk | contribs) marked revision 1028 of Java Bytecode patrolled (automatic)
- 16:51, 21 December 2009 C-Otto (Talk | contribs) marked revision 1027 of Java Bytecode patrolled (automatic)
- 16:50, 21 December 2009 C-Otto (Talk | contribs) marked revision 1026 of Java Bytecode patrolled (automatic)
- 16:48, 21 December 2009 C-Otto (Talk | contribs) marked revision 1025 of Java Bytecode patrolled (automatic)
- 16:46, 21 December 2009 C-Otto (Talk | contribs) marked revision 1024 of Category:Categories patrolled (automatic)
- 16:46, 21 December 2009 C-Otto (Talk | contribs) marked revision 1023 of Category:Categories patrolled (automatic)
- 16:43, 21 December 2009 C-Otto (Talk | contribs) moved ITRS to Integer Term Rewriting
- 16:42, 21 December 2009 C-Otto (Talk | contribs) moved Higher Order to Higher Order Rewriting
- 16:42, 21 December 2009 C-Otto (Talk | contribs) marked revision 1018 of Term Rewriting patrolled (automatic)
- 16:41, 21 December 2009 C-Otto (Talk | contribs) marked revision 1017 of String Rewriting patrolled (automatic)
- 16:41, 21 December 2009 C-Otto (Talk | contribs) marked revision 1016 of Termination Competition patrolled (automatic)
- 16:41, 21 December 2009 C-Otto (Talk | contribs) marked revision 1015 of ITRS patrolled (automatic)
- 16:40, 21 December 2009 C-Otto (Talk | contribs) marked revision 1014 of Higher Order patrolled (automatic)
- 16:40, 21 December 2009 C-Otto (Talk | contribs) marked revision 1013 of Java Bytecode patrolled (automatic)
- 16:40, 21 December 2009 C-Otto (Talk | contribs) marked revision 1012 of Complexity patrolled (automatic)
- 16:40, 21 December 2009 C-Otto (Talk | contribs) marked revision 1011 of Functional Programming patrolled (automatic)
- 16:40, 21 December 2009 C-Otto (Talk | contribs) marked revision 1010 of Certified Termination patrolled (automatic)
- 16:39, 21 December 2009 C-Otto (Talk | contribs) marked revision 1009 of Logic Programming patrolled (automatic)
