User contributions for Admin

13:3513:35, 29 March 2008 diff hist +1,299 N Termination Competition New page: = Annual International Termination Competition = During the 90's a number of new, powerful termination methods was developed. Thus, at the the beginning of the millenium many research gro...
13:2213:22, 29 March 2008 diff hist +9 MediaWiki:Sidebar No edit summary
13:2213:22, 29 March 2008 diff hist −8 MediaWiki:Sidebar No edit summary
13:0913:09, 29 March 2008 diff hist +24 Tools:AProVE No edit summary
13:0913:09, 29 March 2008 diff hist +38 People:Carsten Fuhs No edit summary
13:0813:08, 29 March 2008 diff hist +8 Template:AddPerson No edit summary current
13:0813:08, 29 March 2008 diff hist +617 N People:Carsten Fuhs 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...
12:5512:55, 29 March 2008 diff hist +23 N Home Redirecting to Main Page
12:5412:54, 29 March 2008 diff hist −8 MediaWiki:Sidebar No edit summary
12:5212:52, 29 March 2008 diff hist −194 MediaWiki:Sidebar No edit summary
12:5212:52, 29 March 2008 diff hist +9 MediaWiki:Sidebar No edit summary
12:5012:50, 29 March 2008 diff hist +175 N Category:News New page: Add a news entry: <createarticle> type=createarticle prefix=News: preload=Template:AddNews default=News Caption buttonlabel=Create News Entry align=left </createarticle>
12:4812:48, 29 March 2008 diff hist −1 Tools:AProVE No edit summary
12:4712:47, 29 March 2008 diff hist +207 Template:Tool No edit summary
12:4512:45, 29 March 2008 diff hist +1 Tools:AProVE No edit summary
12:4512:45, 29 March 2008 diff hist +1 Template:AddTool No edit summary
12:4212:42, 29 March 2008 diff hist +21 Tools:AProVE No edit summary
12:4212:42, 29 March 2008 diff hist +7 Tools:AProVE No edit summary
12:4112:41, 29 March 2008 diff hist −1 Template:Tool →{{{shortname}}} ({{{longname}}})
12:4112:41, 29 March 2008 diff hist +143 N Template:Tool New page: = {{{shortname}}} ({{{longname}}}) = * developed at {{{university}}}, {{{country}}} * home page: {{{homepage}}} * developer(s): {{{developer}}}
12:3912:39, 29 March 2008 diff hist +580 N Tools:AProVE 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...
12:3812:38, 29 March 2008 diff hist −2 Template:AddTool No edit summary
12:3712:37, 29 March 2008 diff hist −1 Category:Tools No edit summary current
12:3712:37, 29 March 2008 diff hist 0 Category:Tools No edit summary
12:3712:37, 29 March 2008 diff hist 0 Category:Tools No edit summary
12:3612:36, 29 March 2008 diff hist +427 N Template:AddTool New page: <includeonly> <!-- 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 you...
12:3512:35, 29 March 2008 diff hist +285 N Category:Tools New page: The following list gives an (incomplete) overview over existing tools for termination analysis. Add a (termination) tool entry! <createarticle> type=createarticle prefix=Tools: preload...
12:3312:33, 29 March 2008 diff hist +31 MediaWiki:Sidebar No edit summary
12:1912:19, 29 March 2008 diff hist −3 Template:Person No edit summary
12:1812:18, 29 March 2008 diff hist +42 Template:Person No edit summary
12:1712:17, 29 March 2008 diff hist +69 People:Carsten Otto No edit summary
12:1612:16, 29 March 2008 diff hist +37 People:Peter Schneider-Kamp No edit summary
12:1412:14, 29 March 2008 diff hist +17 Template:Person No edit summary
12:1312:13, 29 March 2008 diff hist +35 People:Peter Schneider-Kamp No edit summary
12:1312:13, 29 March 2008 diff hist +11 Template:AddPerson No edit summary
12:1112:11, 29 March 2008 diff hist −38 Category:People No edit summary current
12:1012:10, 29 March 2008 diff hist +22 Category:People No edit summary
12:1012:10, 29 March 2008 diff hist +379 N Category:People New page: Below is information on researchers working on termination analysis and related areas. To make this list more useful, please add yourself and interested colleagues to the list of users in...
12:0512:05, 29 March 2008 diff hist −8 MediaWiki:Sidebar No edit summary
12:0512:05, 29 March 2008 diff hist −1 MediaWiki:Sidebar No edit summary
12:0412:04, 29 March 2008 diff hist +67 MediaWiki:Sidebar No edit summary
11:5111:51, 29 March 2008 diff hist −28 MediaWiki:Sidebar No edit summary
11:4711:47, 29 March 2008 diff hist +315 N MediaWiki:Sidebar New page: * navigation ** mainpage|mainpage ** [http://mediawiki.org MediaWiki] ** http://www.lri.fr/~marche/termination-competition/|Termination Competition ** portal-url|portal ** currentevents-ur...

20:5820:58, 26 March 2008 diff hist +69 People:Carsten Otto No edit summary
20:5720:57, 26 March 2008 diff hist +479 N People:Carsten Otto 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...
20:5720:57, 26 March 2008 diff hist +342 N Template:Person New page: = {{{titles}}} {{{firstname}}} {{{middlenames}}} {{{lastname}}} = * {{{role}}} at {{{department}}} ({{{university}}}, {{{country}}}) <includeonly> [[Category:People|{{{lastname}}}, {{{{fir...
20:5620:56, 26 March 2008 diff hist +508 N Template:AddPerson New page: <includeonly> <!-- 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 you...
20:5520:55, 26 March 2008 diff hist +14 Template:News No edit summary
20:5520:55, 26 March 2008 diff hist +81 N Template:News New page: {{{author}}} {{{date}}} {{{text}}} <includeonly> Category:News </includeonly>
20:5420:54, 26 March 2008 diff hist +191 N Template:AddNews New page: <includeonly>  {{News |caption= |text= |date= |author= }} </includeon...

29 March 2008

26 March 2008