The ProB Animator and Model Checker: 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.

16 August 2024

7 March 2024

23 February 2024

14 August 2023

11 August 2023

6 April 2023

14 December 2022

24 June 2022

30 December 2021

6 October 2021

18 May 2021

4 February 2021

2 February 2021

27 January 2021

5 January 2021

16 December 2020

5 September 2020

9 June 2020

16 April 2020

5 March 2020

19 February 2020

7 February 2020

11 November 2019

8 November 2019

19 July 2019

12 July 2019

9 July 2019

2 October 2018

1 October 2018

29 September 2018

19 September 2018

6 June 2018

20 March 2018

5 October 2017

2 October 2017

30 September 2017

12 July 2017

11 July 2017

20 October 2016

1 June 2016

23 April 2016

22 February 2016

15 October 2015

31 August 2015

19 February 2015

30 October 2014

27 August 2014

22 August 2014

18 August 2014

3 June 2014

25 January 2014

18 November 2013

6 June 2013

4 June 2013

3 June 2013

6 March 2013

11 October 2012

8 October 2012

30 March 2012

15 December 2011

21 November 2011

2 November 2011

18 April 2011

10 February 2011

30 July 2010

8 July 2010

15 June 2010

11 February 2010

6 November 2009

5 November 2009