Download: Revision history

7 October 2016

• curprev 08:5408:54, 7 October 2016 Michael Leuschel talk contribs 11,737 bytes −8 →Nightly Build

26 September 2016

• curprev 07:5907:59, 26 September 2016 Sebastian Krings talk contribs 11,745 bytes −38 →Nightly Build
• curprev 07:0307:03, 26 September 2016 Sebastian Krings talk contribs 11,783 bytes −4 →Timed-CSP Simulator

1 June 2016

• curprev 14:1514:15, 1 June 2016 Michael Leuschel talk contribs 11,787 bytes 0 →Latest Release

4 May 2016

• curprev 07:4407:44, 4 May 2016 Michael Leuschel talk contribs 11,787 bytes +147 →Java Requirements for B parser

27 April 2016

• curprev 08:5508:55, 27 April 2016 Michael Leuschel talk contribs 11,640 bytes −3 →Latest Release
• curprev 08:5408:54, 27 April 2016 Michael Leuschel talk contribs 11,643 bytes +6 →Latest Release
• curprev 08:4508:45, 27 April 2016 Michael Leuschel talk contribs 11,637 bytes −13 →Java Requirements for B parser
• curprev 08:4408:44, 27 April 2016 Michael Leuschel talk contribs 11,650 bytes +8 →Java Requirements for B parser
• curprev 08:4308:43, 27 April 2016 Michael Leuschel talk contribs 11,642 bytes −10 →Java Requirements for B parser
• curprev 08:4208:42, 27 April 2016 Michael Leuschel talk contribs 11,652 bytes +24 →Latest Release
• curprev 08:3908:39, 27 April 2016 Michael Leuschel talk contribs 11,628 bytes −113 →Tcl/Tk on Mac OS/X
• curprev 08:3808:38, 27 April 2016 Michael Leuschel talk contribs 11,741 bytes −128 →Tcl/Tk on Mac OS/X
• curprev 08:2608:26, 27 April 2016 Michael Leuschel talk contribs 11,869 bytes +260 →ProB for Rodin
• curprev 08:2108:21, 27 April 2016 Michael Leuschel talk contribs 11,609 bytes +23 →Latest Release
• curprev 06:5506:55, 27 April 2016 Michael Leuschel talk contribs 11,586 bytes +195 →Latest Release

26 April 2016

• curprev 07:2907:29, 26 April 2016 Michael Leuschel talk contribs 11,391 bytes −2 →Latest Release

23 April 2016

• curprev 08:1808:18, 23 April 2016 Michael Leuschel talk contribs 11,393 bytes +79 →Short Release History
• curprev 08:1608:16, 23 April 2016 Michael Leuschel talk contribs 11,314 bytes +352 →Short Release History
• curprev 07:5207:52, 23 April 2016 Michael Leuschel talk contribs 10,962 bytes +36 →Latest Release

22 April 2016

• curprev 14:1014:10, 22 April 2016 Sebastian Krings talk contribs 10,926 bytes −220 →Nightly Build
• curprev 14:0814:08, 22 April 2016 Sebastian Krings talk contribs 11,146 bytes −8 →Latest Release

21 April 2016

• curprev 08:4108:41, 21 April 2016 Michael Leuschel talk contribs 11,154 bytes 0 →Nightly Build

25 February 2016

• curprev 15:0915:09, 25 February 2016 Michael Leuschel talk contribs 11,154 bytes −9 No edit summary
• curprev 15:0715:07, 25 February 2016 Michael Leuschel talk contribs 11,163 bytes +57 →Latest Release

24 February 2016

• curprev 10:2710:27, 24 February 2016 Michael Leuschel talk contribs 11,106 bytes +39 →Java Requirements for B parser
• curprev 10:0710:07, 24 February 2016 Michael Leuschel talk contribs 11,067 bytes +40 →Java Requirements for B parser
• curprev 10:0610:06, 24 February 2016 Michael Leuschel talk contribs 11,027 bytes +128 →Java Requirements for B parser
• curprev 09:1109:11, 24 February 2016 Michael Leuschel talk contribs 10,899 bytes −1 →Java Requirements for B parser
• curprev 09:1109:11, 24 February 2016 Michael Leuschel talk contribs 10,900 bytes +284 →Java Requirements for B parser
• curprev 09:0609:06, 24 February 2016 Michael Leuschel talk contribs 10,616 bytes +429 →Java Requirements for B parser

22 December 2015

• curprev 08:4808:48, 22 December 2015 Michael Leuschel talk contribs 10,187 bytes +23 →Nightly Build
• curprev 08:4808:48, 22 December 2015 Michael Leuschel talk contribs 10,164 bytes +617 →Nightly Build

21 December 2015

• curprev 14:0114:01, 21 December 2015 Michael Leuschel talk contribs 9,547 bytes +94 →Nightly Build
• curprev 13:5813:58, 21 December 2015 Michael Leuschel talk contribs 9,453 bytes +136 →Nightly Build

2 December 2015

• curprev 08:3608:36, 2 December 2015 Sebastian Krings talk contribs 9,317 bytes +22 No edit summary
• curprev 08:3108:31, 2 December 2015 Sebastian Krings talk contribs 9,295 bytes −6 →Sourcecode

2 November 2015

• curprev 08:4608:46, 2 November 2015 Michael Leuschel talk contribs 9,301 bytes −32 →Nightly Build

26 October 2015

• curprev 10:3610:36, 26 October 2015 Michael Leuschel talk contribs 9,333 bytes +129 →Latest Release

19 February 2015

• curprev 14:3414:34, 19 February 2015 Michael Leuschel talk contribs 9,204 bytes +16 →Tcl/Tk Requirements for ProB Tcl/Tk
• curprev 14:2614:26, 19 February 2015 Sebastian Krings talk contribs 9,188 bytes −1 →Prior Versions
• curprev 14:0814:08, 19 February 2015 Michael Leuschel talk contribs 9,189 bytes −38 →Latest Release
• curprev 14:0214:02, 19 February 2015 Michael Leuschel talk contribs 9,227 bytes −54 →Latest Release
• curprev 14:0114:01, 19 February 2015 Michael Leuschel talk contribs 9,281 bytes +397 →Latest Release
• curprev 13:5413:54, 19 February 2015 Michael Leuschel talk contribs 8,884 bytes −791 No edit summary
• curprev 13:5013:50, 19 February 2015 Michael Leuschel talk contribs 9,675 bytes +1 →Latest Release
• curprev 13:4713:47, 19 February 2015 Michael Leuschel talk contribs 9,674 bytes +31 No edit summary
• curprev 13:4113:41, 19 February 2015 Michael Leuschel talk contribs 9,643 bytes +196 No edit summary
• curprev 13:3113:31, 19 February 2015 Michael Leuschel talk contribs 9,447 bytes −32 No edit summary
• curprev 13:2613:26, 19 February 2015 Michael Leuschel talk contribs 9,479 bytes −781 →Tcl/Tk