User contributions
From Termination-Portal.org
Jump to navigationJump to search- 13:40, 29 March 2008 diff hist +12 MediaWiki:Sidebar
- 13:39, 29 March 2008 diff hist +9 Home Redirecting to Termination Portal current
- 13:38, 29 March 2008 diff hist +32 N Main Page Main Page moved to Termination Portal current
- 13:38, 29 March 2008 diff hist 0 m Termination Portal Main Page moved to Termination Portal
- 13:38, 29 March 2008 diff hist -9 Termination Portal
- 13:37, 29 March 2008 diff hist +3 Termination Portal
- 13:36, 29 March 2008 diff hist 0 m Termination Competition Competition moved to Termination Competition
- 13: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:22, 29 March 2008 diff hist +9 MediaWiki:Sidebar
- 13:22, 29 March 2008 diff hist -8 MediaWiki:Sidebar
- 13:09, 29 March 2008 diff hist +24 Tools:AProVE
- 13:09, 29 March 2008 diff hist +38 People:Carsten Fuhs
- 13:08, 29 March 2008 diff hist +8 Template:AddPerson current
- 13: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:55, 29 March 2008 diff hist +23 N Home Redirecting to Main Page
- 12:54, 29 March 2008 diff hist -8 MediaWiki:Sidebar
- 12:52, 29 March 2008 diff hist -194 MediaWiki:Sidebar
- 12:52, 29 March 2008 diff hist +9 MediaWiki:Sidebar
- 12: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:48, 29 March 2008 diff hist -1 Tools:AProVE