User contributions for Admin

18:0218:02, 29 March 2008 diff hist −9 People:Jürgen Giesl No edit summary
17:3517:35, 29 March 2008 diff hist −777 Termination Portal →News
17:3417:34, 29 March 2008 diff hist +80 Template:AddReference No edit summary
17:3417:34, 29 March 2008 diff hist +79 Bibtex:SGST06 No edit summary
17:3217:32, 29 March 2008 diff hist +26 Termination Portal →Recent News
17:1417:14, 29 March 2008 diff hist +122 Termination Portal →News
17:1117:11, 29 March 2008 diff hist +518 N Bibtex:SGST06 New page: <bibtex>  @inproceedings{LOPSTR06, AUTHOR = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann}, TITLE =...
17:1017:10, 29 March 2008 diff hist −166 Template:AddReference No edit summary
17:0417:04, 29 March 2008 diff hist +9 Tools:AProVE No edit summary
17:0417:04, 29 March 2008 diff hist +9 Template:AddTool No edit summary
16:5716:57, 29 March 2008 diff hist +19 Termination Portal No edit summary
16:5716:57, 29 March 2008 diff hist +34 Termination Portal No edit summary
16:5516:55, 29 March 2008 diff hist +5 Template:AddTool No edit summary
16:5516:55, 29 March 2008 diff hist +401 N Template:AddReference New page: <includeonly> <!-- Please fill in the data so that the reference can be added to some default categories and a simple BibTeX page can be created. You may extend that B...
16:5316:53, 29 March 2008 diff hist 0 Template:AddTool No edit summary
16:5216:52, 29 March 2008 diff hist +422 Termination Portal No edit summary
16:5216:52, 29 March 2008 diff hist +325 N Category:Bibtex New page: Below is a list of references for publications on termination analysis and related areas. To make this list more useful, please consider adding useful references: <createarticle> type=cr... current
16:4916:49, 29 March 2008 diff hist −133 Termination Portal →News
16:3016:30, 29 March 2008 diff hist −28 Termination Portal →Welcome to the World of Termination
16:3016:30, 29 March 2008 diff hist −1 Termination Portal →Welcome to the World of Termination
16:3016:30, 29 March 2008 diff hist +83 Termination Portal →Welcome to the World of Termination
16:2716:27, 29 March 2008 diff hist 0 MediaWiki:Sidebar No edit summary
16:1416:14, 29 March 2008 diff hist +30 MediaWiki:Sidebar No edit summary
14:0214:02, 29 March 2008 diff hist +1,222 N WST New page: The International Workshop on Termination (WST) has been held in St. Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), Aachen (2004), Seattle ...
13:5313:53, 29 March 2008 diff hist +12 Termination Portal No edit summary
13:5213:52, 29 March 2008 diff hist +438 Termination Portal No edit summary
13:4613:46, 29 March 2008 diff hist +1 m Termination Portal →Welcome
13:4613:46, 29 March 2008 diff hist +35 Termination Portal No edit summary
13:4413:44, 29 March 2008 diff hist +323 N Termtools New page: The [mailto:termtools@lists.lri.fr Termtools mailing list] has been installed to facilitate discussion about termination tools in general and the [[Termination Competit...
13:4113:41, 29 March 2008 diff hist +39 MediaWiki:Sidebar No edit summary
13:4013:40, 29 March 2008 diff hist +12 MediaWiki:Sidebar No edit summary
13:3913:39, 29 March 2008 diff hist +9 Home Redirecting to Termination Portal current
13:3813:38, 29 March 2008 diff hist +32 N Main Page Main Page moved to Termination Portal current
13:3813:38, 29 March 2008 diff hist 0 m Termination Portal Main Page moved to Termination Portal
13:3813:38, 29 March 2008 diff hist −9 Termination Portal No edit summary
13:3713:37, 29 March 2008 diff hist +3 Termination Portal No edit summary
13:3613:36, 29 March 2008 diff hist 0 m Termination Competition Competition moved to Termination Competition
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

29 March 2008