Jump to content

User contributions for C-Otto

Results for C-Otto talk block log uploads logs

A user with 285 edits. Account created on 26 March 2008.

19:1319:13, 29 May 2013 diff hist +258 Nm User talk:Flowgenerator Welcome! current

11:2111:21, 31 January 2013 diff hist +115 Java Bytecode No edit summary current

09:4309:43, 28 January 2013 diff hist −10 Java Bytecode →Considered Types

09:3909:39, 28 November 2012 diff hist −14 People:Peter Schneider-Kamp No edit summary current

08:5708:57, 27 June 2012 diff hist +24 Termination Portal →Recent News
08:4708:47, 27 June 2012 diff hist −24 Termination Portal →Recent News
08:4508:45, 27 June 2012 diff hist +252 N Template:Extension DPL Template:Extension DPL current

20:1620:16, 26 June 2012 diff hist −261 Termination Portal →Testing
20:1520:15, 26 June 2012 diff hist +261 Termination Portal →Recent News
20:1320:13, 26 June 2012 diff hist −1 Termination Portal →Recent News
14:5214:52, 26 June 2012 diff hist +1 Termination Portal →Recent News
14:5214:52, 26 June 2012 diff hist −613 News:Termination Competition 2012: June 26 - June 29 No edit summary
14:5214:52, 26 June 2012 diff hist −2 Termination Portal →Recent News
14:5114:51, 26 June 2012 diff hist +2 Termination Portal →Recent News
14:5014:50, 26 June 2012 diff hist +612 News:Termination Competition 2012: June 26 - June 29 No edit summary

14:5014:50, 12 June 2012 diff hist +15 Star Exec No edit summary
14:4914:49, 12 June 2012 diff hist +85 Star Exec No edit summary
14:4614:46, 12 June 2012 diff hist +1,022 Star Exec No edit summary

07:3007:30, 29 November 2011 diff hist −101 People:Carsten Otto No edit summary current
07:2907:29, 29 November 2011 diff hist +4 People:Carsten Otto No edit summary
07:2807:28, 29 November 2011 diff hist +97 People:Carsten Otto No edit summary
07:0707:07, 29 November 2011 diff hist +48 Termination Portal No edit summary

18:0618:06, 24 May 2011 diff hist +14 Termination Competition 2011 No edit summary

14:3414:34, 11 April 2011 diff hist +614 N People:Marc Brockschmidt Created page with "<!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yoursel..." current
14:3414:34, 11 April 2011 diff hist +232 Nm User talk:Mmjb Welcome! current
14:0814:08, 11 April 2011 diff hist +232 Nm User talk:Cryingshadow Welcome! current
13:5413:54, 11 April 2011 diff hist +11 People:Carsten Otto No edit summary
13:5313:53, 11 April 2011 diff hist +33 People:Thomas Ströder No edit summary current
13:5313:53, 11 April 2011 diff hist +20 People:Thomas Ströder No edit summary
13:5213:52, 11 April 2011 diff hist +126 People:Thomas Ströder No edit summary
13:5213:52, 11 April 2011 diff hist +498 N People:Thomas Ströder Created page with "<!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yoursel..."
13:4913:49, 11 April 2011 diff hist +36 People:Manh Thang Nguyen No edit summary current

12:2812:28, 28 March 2011 diff hist −63 Java Bytecode (forbidden native method) Undo revision 1138 by C-Otto (talk)
12:2712:27, 28 March 2011 diff hist +63 Java Bytecode No edit summary

09:5509:55, 19 August 2010 diff hist +29 News:Termination Competition 2010 in July No edit summary

07:2707:27, 26 July 2010 diff hist +231 Nm User talk:Kdoss Welcome! current

13:2513:25, 24 June 2010 diff hist +231 Nm User talk:Dean Voets Welcome! current

11:5511:55, 14 May 2010 diff hist +230 Nm User talk:Arubio Welcome! current

13:5513:55, 26 March 2010 diff hist +1 Complexity:Old →Complexity proof techniques

10:0110:01, 22 December 2009 diff hist −28 Java Bytecode No edit summary
09:5709:57, 22 December 2009 diff hist +1 Tools:Julia No edit summary current
07:2007:20, 22 December 2009 diff hist +235 Nm User talk:Fred Welcome! current

14:5214:52, 21 December 2009 diff hist +29 Java Bytecode →Categories
14:5114:51, 21 December 2009 diff hist +2 Java Bytecode →Participants
14:5014:50, 21 December 2009 diff hist +10 Java Bytecode No edit summary
14:4814:48, 21 December 2009 diff hist +68 Java Bytecode No edit summary
14:4614:46, 21 December 2009 diff hist 0 m Category:Categories No edit summary
14:4614:46, 21 December 2009 diff hist +77 N Category:Categories Created page with 'The tools work on different types of problems, which are listed on this site.'
14:4314:43, 21 December 2009 diff hist +36 N ITRS moved ITRS to Integer Term Rewriting current
14:4314:43, 21 December 2009 diff hist 0 m Integer Term Rewriting moved ITRS to Integer Term Rewriting

Retrieved from "http://termination-portal.org/wiki/Special:Contributions/C-Otto"