User contributions
From Termination-Portal.org
Jump to navigationJump to search- 17:26, 30 March 2008 diff hist +39 N Category:RWTH Aachen New page: [http://www.rwth-aachen.de RWTH Aachen] current
- 17:26, 30 March 2008 diff hist +8 N Category:Germany New page: Germany. current
- 14:30, 30 March 2008 diff hist +2 Bibtex:TeReSe03 current
- 14:30, 30 March 2008 diff hist +4 Bibtex:SGST06
- 14:29, 30 March 2008 diff hist +2 Bibtex:Ohlebusch02
- 14:29, 30 March 2008 diff hist +4 Bibtex:Ohlebusch01
- 14:29, 30 March 2008 diff hist +2 Bibtex:MORV05
- 14:29, 30 March 2008 diff hist +2 Bibtex:Kurth90 current
- 14:29, 30 March 2008 diff hist +2 Bibtex:Drosten89 current
- 14:29, 30 March 2008 diff hist +2 Bibtex:Buendgen98 current
- 14:29, 30 March 2008 diff hist +4 Template:AddReference
- 13:48, 30 March 2008 diff hist +110 News:Termination Portal Online
- 13:45, 30 March 2008 diff hist 0 m Tools:Rainbow Tools:Tool Name moved to Tools:Rainbow
- 13:45, 30 March 2008 diff hist +27 N Tools:Tool Name Tools:Tool Name moved to Tools:Rainbow current
- 13:42, 30 March 2008 diff hist 0 m People:Frederic Blanqui People:Firstname Lastname moved to People:Frederic Blanqui
- 21:30, 29 March 2008 diff hist -2 Bibtex:Ohlebusch01
- 19:04, 29 March 2008 diff hist -136 Termination Portal
- 19:04, 29 March 2008 diff hist +9 Termination Portal
- 19:03, 29 March 2008 diff hist +1,049 N MediaWiki:Common.css New page: →CSS placed here will be applied to all skins: →wikitable/prettytable class for skinning normal tables: table.wikitable, table.prettytable { margin: 1em 1em 1em 0; backgrou... current
- 19:00, 29 March 2008 diff hist -362 Termination Portal
- 18:57, 29 March 2008 diff hist -13 Termination Portal
- 18:57, 29 March 2008 diff hist +375 Termination Portal
- 18:56, 29 March 2008 diff hist -446 Termination Portal
- 18:55, 29 March 2008 diff hist +149 Termination Portal
- 18:46, 29 March 2008 diff hist +433 Termination Portal
- 18:40, 29 March 2008 diff hist +93 Termination Portal
- 18:35, 29 March 2008 diff hist -2 Template:AddNews
- 18:34, 29 March 2008 diff hist -19 Template:News
- 18:33, 29 March 2008 diff hist +353 Template:AddNews
- 18:27, 29 March 2008 diff hist +229 Termination Portal
- 18:24, 29 March 2008 diff hist +6 Bibtex:SGST06
- 18:24, 29 March 2008 diff hist +15 Template:AddReference
- 18:03, 29 March 2008 diff hist +9 m People:Jürgen Giesl Reverted edits by Admin (Talk); changed back to last version by Nowonder
- 18:02, 29 March 2008 diff hist -9 People:Jürgen Giesl
- 17:35, 29 March 2008 diff hist -777 Termination Portal →News
- 17:34, 29 March 2008 diff hist +80 Template:AddReference
- 17:34, 29 March 2008 diff hist +79 Bibtex:SGST06
- 17:32, 29 March 2008 diff hist +26 Termination Portal →Recent News
- 17:14, 29 March 2008 diff hist +122 Termination Portal →News
- 17:11, 29 March 2008 diff hist +518 N Bibtex:SGST06 New page: <bibtex> <!-- Please add the BibTeX data below this comment. --> @inproceedings{LOPSTR06, AUTHOR = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann}, TITLE =...
- 17:10, 29 March 2008 diff hist -166 Template:AddReference
- 17:04, 29 March 2008 diff hist +9 Tools:AProVE
- 17:04, 29 March 2008 diff hist +9 Template:AddTool
- 16:57, 29 March 2008 diff hist +19 Termination Portal
- 16:57, 29 March 2008 diff hist +34 Termination Portal
- 16:55, 29 March 2008 diff hist +5 Template:AddTool
- 16: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:53, 29 March 2008 diff hist 0 Template:AddTool
- 16:52, 29 March 2008 diff hist +422 Termination Portal
- 16: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