User contributions
From Termination-Portal.org
Jump to navigationJump to search- 12:12, 9 May 2020 diff hist +3 Termination Competition →Competition Categories
- 12:11, 9 May 2020 diff hist +1 Termination Competition →Upcoming Competitions
- 12:11, 9 May 2020 diff hist -71 Termination Competition →Upcoming Competitions
- 12:09, 9 May 2020 diff hist +50 m Termination Competition 2020
- 10:30, 21 October 2019 diff hist +203 Termination Competition Steering Committee current
- 10:30, 21 October 2019 diff hist -161 Termination Competition Steering Committee
- 10:28, 21 October 2019 diff hist +43 Termination Competition →Competition Categories
- 12:03, 3 July 2019 diff hist +255 Nm User talk:Davidkor Welcome! current
- 10:22, 14 October 2018 diff hist -5 Termination-Portal.org:About →Impressum current
- 12:42, 10 June 2018 diff hist +1 Termination Competition 2018 Deadline Extension
- 10:54, 8 May 2018 diff hist -4 m Termination Competition →Annual International Termination Competition
- 10:52, 8 May 2018 diff hist -1 m Termination Competition 2018
- 09:25, 27 April 2018 diff hist -55 Termination Competition 2017
- 07:35, 10 April 2018 diff hist +13 Termination Competition 2017 added Christian and updated Akihisa's affiliation
- 21:09, 7 August 2017 diff hist +257 Nm User talk:Christoph Walther Welcome! current
- 11:20, 17 July 2017 diff hist -55 m Termination Competition 2017 removed Fred from the SC and changed one occurrence of 2016 to 2017
- 12:28, 9 July 2016 diff hist +124 m Termination and Complexity Competition 2016 →Competition Procedure
- 09:08, 23 July 2015 diff hist +256 Nm User talk:Akihisa Yamada Welcome! current
- 21:51, 30 June 2015 diff hist +256 Nm User talk:Sabel Welcome! current
- 08:57, 29 June 2015 diff hist +311 Termination Competition 2015