User contributions for Hzankl
18 February 2011
- 02:2802:28, 18 February 2011 diff hist +49 Termination Competition →Annual International Termination Competition
- 02:2102:21, 18 February 2011 diff hist +132 Termination Competition →History of Termination Competitions
1 May 2010
- 12:0012:00, 1 May 2010 diff hist −1 m Termination Competition 2010 typo fixed
27 March 2010
- 18:4118:41, 27 March 2010 diff hist −16 Complexity Techniques →Derivational Complexity
- 18:4018:40, 27 March 2010 diff hist −10 Complexity Techniques corrected 2009 cat methods
18 December 2009
- 09:4709:47, 18 December 2009 diff hist −14 People:Harald Zankl No edit summary current
- 09:4709:47, 18 December 2009 diff hist +24 People:Harald Zankl No edit summary
- 09:4609:46, 18 December 2009 diff hist −11 People:Harald Zankl No edit summary
- 09:4609:46, 18 December 2009 diff hist −8 People:Harald Zankl No edit summary
27 March 2009
- 14:4514:45, 27 March 2009 diff hist +131 Termination Competition 2008 No edit summary
30 October 2008
- 10:4710:47, 30 October 2008 diff hist +2 Complexity:Old No edit summary
29 October 2008
- 14:0014:00, 29 October 2008 diff hist +40 Complexity:Old No edit summary
8 April 2008
- 09:0409:04, 8 April 2008 diff hist +137 News:Adding References No edit summary current
7 April 2008
- 18:2918:29, 7 April 2008 diff hist +2 News:Adding References No edit summary
- 18:0718:07, 7 April 2008 diff hist +7 News:Adding References No edit summary
- 18:0518:05, 7 April 2008 diff hist −1 News:Adding References No edit summary
- 18:0518:05, 7 April 2008 diff hist +527 News:Adding References No edit summary
- 17:5717:57, 7 April 2008 diff hist +142 N News:Adding References New page: Is there a general format which one should use when adding (one's) references? I think that should be fixed soon in order to a uniform layout.
1 April 2008
- 08:5608:56, 1 April 2008 diff hist +564 N Tools:TTT2 New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...
- 08:5408:54, 1 April 2008 diff hist −9 People:Harald Zankl No edit summary
- 08:5308:53, 1 April 2008 diff hist +45 People:Harald Zankl No edit summary
- 08:4908:49, 1 April 2008 diff hist +550 N People:Harald Zankl New page: <!-- 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 yourself after th...