User contributions
From Termination-Portal.org
Jump to navigationJump to search- 12:47, 29 March 2008 diff hist +207 Template:Tool
- 12:45, 29 March 2008 diff hist +1 Tools:AProVE
- 12:45, 29 March 2008 diff hist +1 Template:AddTool
- 12:42, 29 March 2008 diff hist +21 Tools:AProVE
- 12:42, 29 March 2008 diff hist +7 Tools:AProVE
- 12:41, 29 March 2008 diff hist -1 Template:Tool →{{{shortname}}} ({{{longname}}})
- 12: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: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:38, 29 March 2008 diff hist -2 Template:AddTool
- 12:37, 29 March 2008 diff hist -1 Category:Tools current
- 12:37, 29 March 2008 diff hist 0 Category:Tools
- 12:37, 29 March 2008 diff hist 0 Category:Tools
- 12: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: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:33, 29 March 2008 diff hist +31 MediaWiki:Sidebar
- 12:19, 29 March 2008 diff hist -3 Template:Person
- 12:18, 29 March 2008 diff hist +42 Template:Person
- 12:17, 29 March 2008 diff hist +69 People:Carsten Otto
- 12:16, 29 March 2008 diff hist +37 People:Peter Schneider-Kamp
- 12:14, 29 March 2008 diff hist +17 Template:Person
- 12:13, 29 March 2008 diff hist +35 People:Peter Schneider-Kamp
- 12:13, 29 March 2008 diff hist +11 Template:AddPerson
- 12:11, 29 March 2008 diff hist -38 Category:People current
- 12:10, 29 March 2008 diff hist +22 Category:People
- 12: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:05, 29 March 2008 diff hist -8 MediaWiki:Sidebar
- 12:05, 29 March 2008 diff hist -1 MediaWiki:Sidebar
- 12:04, 29 March 2008 diff hist +67 MediaWiki:Sidebar
- 11:51, 29 March 2008 diff hist -28 MediaWiki:Sidebar
- 11: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:58, 26 March 2008 diff hist +69 People:Carsten Otto
- 20: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: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: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:55, 26 March 2008 diff hist +14 Template:News
- 20:55, 26 March 2008 diff hist +81 N Template:News New page: {{{author}}} {{{date}}} {{{text}}} <includeonly> Category:News </includeonly>
- 20:54, 26 March 2008 diff hist +191 N Template:AddNews New page: <includeonly> <!-- Please insert the corresponding information below so that the news page can be generated automatically. --> {{News |caption= |text= |date= |author= }} </includeon...
