User contributions
From Termination-Portal.org
Jump to navigationJump to search- 09:17, 28 November 2012 diff hist +9 People:Peter Schneider-Kamp
- 09:17, 28 November 2012 diff hist +8 People:Peter Schneider-Kamp
- 14:50, 16 December 2009 diff hist +16 WST
- 14:48, 16 December 2009 diff hist +102 WST
- 04:34, 20 April 2009 diff hist -1 m People:Peter Schneider-Kamp
- 22:37, 23 February 2009 diff hist +13 People:Peter Schneider-Kamp
- 10:21, 27 November 2008 diff hist +239 Nm User talk:Polytool Welcome! current
- 09:08, 10 November 2008 diff hist +9 Termination Portal commented publications listing as this is not up to date at all
- 07:45, 2 November 2008 diff hist -204 Poll:Test current
- 07:07, 2 November 2008 diff hist -4 Poll:Test
- 07:06, 2 November 2008 diff hist -6 Poll:Test
- 07:05, 2 November 2008 diff hist 0 Poll:Test
- 07:05, 2 November 2008 diff hist +214 Poll:Test
- 06: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>
- 16:22, 29 October 2008 diff hist +1,426 Logic Programming
- 16: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:16, 29 October 2008 diff hist +111 Logic Programming
- 16: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...
- 13:10, 28 October 2008 diff hist +238 Nm User talk:Hirokawa Welcome! current
- 07:44, 18 July 2008 diff hist +235 Nm User talk:Aschnabl Welcome! current