User contributions for C-Otto

13 May 2009

• 17:2917:29, 13 May 2009 diff hist +14 Tools:CoLoR No edit summary
• 17:2917:29, 13 May 2009 diff hist +14 Tools:Cime No edit summary
• 17:2917:29, 13 May 2009 diff hist +14 Tools:CeTA No edit summary
• 17:2917:29, 13 May 2009 diff hist +14 Tools:CaT No edit summary current
• 17:2817:28, 13 May 2009 diff hist +14 Tools:A3PAT No edit summary
• 17:2517:25, 13 May 2009 diff hist −2 Tools:AProVE No edit summary
• 17:2517:25, 13 May 2009 diff hist +34 Tools:AProVE No edit summary
• 17:2517:25, 13 May 2009 diff hist +578 N Bibtex:Giesl04 New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @INPROCEEDINGS{Giesl04automatedtermination, author = {Jürgen Giesl and René Thiema... current
• 17:2117:21, 13 May 2009 diff hist +211 Template:AddTool No edit summary
• 17:1817:18, 13 May 2009 diff hist +1 Template:Tool No edit summary current
• 17:1817:18, 13 May 2009 diff hist +32 Template:Tool No edit summary
• 16:5216:52, 13 May 2009 diff hist +75 Tools:Polytool No edit summary
• 16:4716:47, 13 May 2009 diff hist 0 m Template:Tool Protected "Template:Tool" [edit=sysop:move=sysop]
• 16:4716:47, 13 May 2009 diff hist −159 Template:Tool Revert

10 April 2009

• 11:4911:49, 10 April 2009 diff hist −41 Termination Portal No edit summary
• 11:4811:48, 10 April 2009 diff hist −6 Termination-Portal.org:About →Impressum

27 March 2009

• 16:0216:02, 27 March 2009 diff hist +41 N User:Aserebrenik Redirecting to People:Alexander Serebrenik current
• 13:4713:47, 27 March 2009 diff hist +232 Nm User talk:Aserebrenik Welcome! current

23 February 2009

• 19:4019:40, 23 February 2009 diff hist +235 Nm User talk:Noschinski Welcome! current

4 January 2009

• 22:4022:40, 4 January 2009 diff hist +81 m People:Carsten Otto Photo

25 November 2008

• 16:4516:45, 25 November 2008 diff hist +235 Nm User talk:Gnaedig Welcome! current

5 November 2008

• 13:3613:36, 5 November 2008 diff hist +38 Tools:AProVE No edit summary

3 November 2008

• 13:0813:08, 3 November 2008 diff hist +234 Nm User talk:Mraffels Welcome! current
• 09:0809:08, 3 November 2008 diff hist +234 Nm User talk:Hzantema Welcome! current

2 November 2008

• 06:3106:31, 2 November 2008 diff hist +234 Nm User talk:Joerg Welcome! current

28 October 2008

• 13:2513:25, 28 October 2008 diff hist +55 People:Nao Hirokawa No edit summary

24 October 2008

• 15:5815:58, 24 October 2008 diff hist +29 Termination Competition No edit summary

20 October 2008

• 16:1916:19, 20 October 2008 diff hist +234 Nm User talk:Zini Welcome! current

2 October 2008

• 16:0816:08, 2 October 2008 diff hist +38 People:Carsten Otto No edit summary

15 July 2008

• 15:5915:59, 15 July 2008 diff hist +95 TCM-July-2008 No edit summary
• 15:5815:58, 15 July 2008 diff hist +238 TCM-July-2008 No edit summary
• 15:5415:54, 15 July 2008 diff hist +207 TCM-July-2008 To discuss

19 May 2008

• 20:5120:51, 19 May 2008 diff hist +35 N User:Slucas Redirecting to People:Salvador Lucas current

6 May 2008

• 19:4619:46, 6 May 2008 diff hist +36 N User:Pierre.Lescanne Redirecting to People:Pierre Lescanne current

2 May 2008

• 20:5720:57, 2 May 2008 diff hist −4 Termination-Portal.org:General disclaimer Redirecting to Termination-Portal.org:About current
• 20:5620:56, 2 May 2008 diff hist +37 N User:Rgutierrez Redirecting to People:Raúl Gutiérrez current
• 20:5520:55, 2 May 2008 diff hist +40 N User:Balarcon Redirecting to People:Beatriz Alarcón current
• 20:5520:55, 2 May 2008 diff hist +46 N User:Rnavarro Redirecting to People:Rafael Navarro-Marset current

20 April 2008

• 08:2008:20, 20 April 2008 diff hist −9 WScT Internal link!

11 April 2008

• 05:5305:53, 11 April 2008 diff hist +36 N User:Ami Redirecting to People:Aart Middeldorp current

10 April 2008

• 14:1914:19, 10 April 2008 diff hist +35 N User:Thiemann Redirecting to People:René Thiemann current
• 12:3412:34, 10 April 2008 diff hist +35 N User:Akoprowski Redirecting to People:Adam Koprowski current
• 08:2008:20, 10 April 2008 diff hist +34 N User:Giesl Redirecting to People:Jürgen Giesl current

9 April 2008

• 10:5710:57, 9 April 2008 diff hist +32 N User:Mkorp Redirecting to People:Martin Korp current

8 April 2008

• 11:2811:28, 8 April 2008 diff hist +231 Contribute No edit summary

2 April 2008

• 15:1915:19, 2 April 2008 diff hist +33 N User:Fab Redirecting to People:Fabian Emmes current

1 April 2008

• 13:3713:37, 1 April 2008 diff hist +40 N User:Griff Redirecting to People:Christian Sternagel current
• 13:3613:36, 1 April 2008 diff hist +33 N User:Hzankl Redirecting to People:Harald Zankl current

31 March 2008

• 18:4418:44, 31 March 2008 diff hist 0 Bibtex:SGST06 No edit summary current
• 18:4418:44, 31 March 2008 diff hist 0 Template:AddReference No edit summary current