ProB Logic Calculator: 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 (newer 50 | ) (20 | 50 | 100 | 250 | 500)

8 November 2022

17 October 2022

13 January 2022

13 February 2020

6 October 2017

4 October 2017

3 March 2016

14 September 2015

27 April 2015

26 April 2015

8 April 2014

21 October 2013

21 May 2013

11 June 2012

8 June 2012

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