Executable library: 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.

30 November 2023

14 July 2023

11 March 2023

7 November 2022

6 November 2022

5 November 2022

27 August 2022

6 November 2021

20 June 2021

30 November 2020

11 June 2020

18 April 2020

19 March 2020

14 March 2020

26 February 2020

14 February 2020

6 February 2020

13 November 2019

18 October 2019

23 December 2018

6 March 2018

12 December 2017

25 November 2017

21 March 2017

12 August 2016

3 July 2016

23 February 2016

17 December 2015

2 November 2015

3 April 2015

2 April 2015

3 January 2015

9 November 2014

8 November 2014

11 July 2014

4 January 2014

21 December 2013

1 October 2013

16 May 2013

7 May 2013

6 May 2013

4 May 2013

26 March 2013

25 November 2012

1 November 2012

29 June 2012

12 June 2012

30 May 2012

29 May 2012

2 February 2012

13 November 2011

7 November 2011

6 November 2011

10 October 2011

4 October 2011

2 October 2011

1 October 2011

20 August 2011

6 August 2011

12 July 2011

16 June 2011

15 June 2011

25 May 2011

22 May 2011

31 March 2011

17 March 2011

16 March 2011

15 March 2011

14 March 2011