Program termination: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

(newest | oldest) View ( | ) (20 | 50 | 100 | 250 | 500)

14 March 2020

6 February 2020

19 December 2019

30 November 2019

8 November 2019

12 April 2019

20 March 2019

16 March 2019

3 March 2019

23 November 2018

22 November 2018

1 November 2018

18 March 2018

3 February 2018

12 November 2017

31 May 2017

27 February 2017

7 February 2017

15 January 2017

12 January 2017

4 November 2016

15 October 2016

27 August 2016

27 July 2016

24 July 2016

10 July 2016

6 July 2016

17 June 2016

15 June 2016

17 March 2016

7 July 2015

22 June 2015

21 June 2015

14 June 2015

29 May 2015

22 May 2015

30 April 2015

13 February 2015

10 February 2015

4 January 2015

3 January 2015

(newest | oldest) View ( | ) (20 | 50 | 100 | 250 | 500)