User contributions for Nowonder

28 November 2012

• 09:1709:17, 28 November 2012 diff hist +9 People:Peter Schneider-Kamp No edit summary
• 09:1709:17, 28 November 2012 diff hist +8 People:Peter Schneider-Kamp No edit summary

16 December 2009

• 14:5014:50, 16 December 2009 diff hist +16 WST No edit summary
• 14:4814:48, 16 December 2009 diff hist +102 WST No edit summary

20 April 2009

• 04:3404:34, 20 April 2009 diff hist −1 m People:Peter Schneider-Kamp No edit summary

23 February 2009

• 22:3722:37, 23 February 2009 diff hist +13 People:Peter Schneider-Kamp No edit summary

27 November 2008

• 10:2110:21, 27 November 2008 diff hist +239 Nm User talk:Polytool Welcome! current

10 November 2008

• 09:0809:08, 10 November 2008 diff hist +9 Termination Portal commented publications listing as this is not up to date at all

2 November 2008

• 07:4507:45, 2 November 2008 diff hist −204 Poll:Test No edit summary current
• 07:0707:07, 2 November 2008 diff hist −4 Poll:Test No edit summary
• 07:0607:06, 2 November 2008 diff hist −6 Poll:Test No edit summary
• 07:0507:05, 2 November 2008 diff hist 0 Poll:Test No edit summary
• 07:0507:05, 2 November 2008 diff hist +214 Poll:Test No edit summary
• 06:5506:55, 2 November 2008 diff hist +96 N Poll:Test New page: <poll> Test Poll This poll is nice. No one likes this poll. Polly want crackers! </poll>

29 October 2008

• 16:2216:22, 29 October 2008 diff hist +1,426 Logic Programming No edit summary
• 16:1816:18, 29 October 2008 diff hist +605 N News:Logic Programming Category of the Termination Competition New page: <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax here to link to... current
• 16:1616:16, 29 October 2008 diff hist +111 Logic Programming No edit summary
• 16:0816:08, 29 October 2008 diff hist +721 N Logic Programming New page: This page is to record the current status of discussion on cleaning up the Logic Programming Category of the Termination Competition. (Discussion should take place on the termtools maili...

28 October 2008

• 13:1013:10, 28 October 2008 diff hist +238 Nm User talk:Hirokawa Welcome! current

18 July 2008

• 07:4407:44, 18 July 2008 diff hist +235 Nm User talk:Aschnabl Welcome! current

17 July 2008

• 13:3713:37, 17 July 2008 diff hist +235 Nm User talk:Georg.moser Welcome! current

19 May 2008

• 13:5713:57, 19 May 2008 diff hist +234 Nm User talk:Slucas Welcome! current
• 13:5613:56, 19 May 2008 diff hist +234 Nm User talk:Hofbauer Welcome! current

14 May 2008

• 11:0311:03, 14 May 2008 diff hist +234 Nm User talk:Binabik Welcome! current

5 May 2008

• 06:0406:04, 5 May 2008 diff hist +233 Nm User talk:Pierre.Lescanne Welcome! current

8 April 2008

• 06:2306:23, 8 April 2008 diff hist +685 N Bibtex:GSST06 New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ... current
• 05:5705:57, 8 April 2008 diff hist −4 m News:Adding References No edit summary
• 05:5705:57, 8 April 2008 diff hist +263 News:Adding References No edit summary

7 April 2008

• 15:0815:08, 7 April 2008 diff hist +31 News:Domain Registered No edit summary current
• 15:0715:07, 7 April 2008 diff hist +8 News:Domain name No edit summary current
• 15:0715:07, 7 April 2008 diff hist +2 News:Termination Portal Online No edit summary current
• 15:0615:06, 7 April 2008 diff hist +668 N News:Domain Registered New page: <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax here to link to...

1 April 2008

• 09:4509:45, 1 April 2008 diff hist +55 Tools:TTT2 No edit summary

31 March 2008

• 12:3112:31, 31 March 2008 diff hist +56 What domain name? No edit summary
• 07:2507:25, 31 March 2008 diff hist +38 People:Stephan Swiderski No edit summary

30 March 2008

• 11:4311:43, 30 March 2008 diff hist +36 People:Peter Schneider-Kamp No edit summary
• 11:4211:42, 30 March 2008 diff hist +42 Tools:AProVE No edit summary

29 March 2008

• 21:3521:35, 29 March 2008 diff hist −17 People:René Thiemann No edit summary
• 21:2221:22, 29 March 2008 diff hist +810 N Tools:TALP New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...
• 21:1021:10, 29 March 2008 diff hist −29 Bibtex:Ohlebusch01 No edit summary
• 21:1021:10, 29 March 2008 diff hist +684 N Bibtex:Ohlebusch01 New page: <bibtex> <!-- Please add the BibTeX data below this comment. --> @article{Ohlebusch01, AUTHOR = {E. Ohlebusch}, TITLE = {Termination of Logic Programs: Transformational Methods ...
• 20:5920:59, 29 March 2008 diff hist +28 Bibtex:SGST06 No edit summary
• 20:5520:55, 29 March 2008 diff hist +50 Bibtex:SGST06 No edit summary
• 20:5420:54, 29 March 2008 diff hist −12 Termination Portal →Welcome
• 20:5320:53, 29 March 2008 diff hist −2 News:Termination Portal Online No edit summary
• 20:5320:53, 29 March 2008 diff hist 0 Template:AddNews No edit summary current
• 20:4920:49, 29 March 2008 diff hist +627 N News:Termination Portal Online New page: <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax here to link to...
• 18:2918:29, 29 March 2008 diff hist −4 People:Peter Schneider-Kamp No edit summary
• 18:2818:28, 29 March 2008 diff hist +46 People:Peter Schneider-Kamp No edit summary
• 17:4917:49, 29 March 2008 diff hist −31 People:René Thiemann No edit summary