Download: Revision history

18 July 2020

• curprev 07:0407:04, 18 July 2020 Michael Leuschel talk contribs 20,201 bytes 0 →Latest Beta Release

6 July 2020

• curprev 14:4214:42, 6 July 2020 Michael Leuschel talk contribs 20,201 bytes 0 →Latest Beta Release

5 May 2020

• curprev 11:4311:43, 5 May 2020 Michael Leuschel talk contribs 20,201 bytes +6 →Latest Beta Release

16 April 2020

• curprev 15:0915:09, 16 April 2020 Michael Leuschel talk contribs 20,195 bytes +8 No edit summary

3 March 2020

• curprev 12:1112:11, 3 March 2020 Michael Leuschel talk contribs 20,187 bytes −101 →Latest Release
• curprev 12:0912:09, 3 March 2020 Michael Leuschel talk contribs 20,288 bytes +118 →Latest Release
• curprev 10:1710:17, 3 March 2020 Michael Leuschel talk contribs 20,170 bytes −20 →Nightly Builds
• curprev 09:0309:03, 3 March 2020 Michael Leuschel talk contribs 20,190 bytes +96 →Nightly Builds
• curprev 09:0209:02, 3 March 2020 Michael Leuschel talk contribs 20,094 bytes +389 →Nightly Builds

19 February 2020

• curprev 16:0916:09, 19 February 2020 Michael Leuschel talk contribs 19,705 bytes +141 →Short Release History
• curprev 14:3914:39, 19 February 2020 Michael Leuschel talk contribs 19,564 bytes −5 No edit summary

18 February 2020

• curprev 12:1012:10, 18 February 2020 Michael Leuschel talk contribs 19,569 bytes −4 →Latest Beta Release
• curprev 07:0007:00, 18 February 2020 Michael Leuschel talk contribs 19,573 bytes +10 →Sourcecode

14 February 2020

• curprev 08:2408:24, 14 February 2020 Michael Leuschel talk contribs 19,563 bytes −22 →ProB2 UI using Java FX

11 February 2020

• curprev 13:5013:50, 11 February 2020 Michael Leuschel talk contribs 19,585 bytes +105 →ProB2 UI using Java FX

7 February 2020

• curprev 12:4912:49, 7 February 2020 Michael Leuschel talk contribs 19,480 bytes +30 →ProB2 UI using Java FX
• curprev 12:0212:02, 7 February 2020 Michael Leuschel talk contribs 19,450 bytes +52 →ProB2 UI using Java FX
• curprev 11:5711:57, 7 February 2020 Michael Leuschel talk contribs 19,398 bytes +12 →ProB2 UI using Java FX
• curprev 11:5411:54, 7 February 2020 Michael Leuschel talk contribs 19,386 bytes +80 →ProB2 UI using Java FX
• curprev 11:5011:50, 7 February 2020 Michael Leuschel talk contribs 19,306 bytes +364 →ProB2 UI using Java FX

4 February 2020

• curprev 08:2908:29, 4 February 2020 Michael Leuschel talk contribs 18,942 bytes 0 →Latest Beta Release

20 January 2020

• curprev 11:4911:49, 20 January 2020 Michael Leuschel talk contribs 18,942 bytes 0 →Latest Beta Release

7 January 2020

• curprev 11:1611:16, 7 January 2020 Michael Leuschel talk contribs 18,942 bytes 0 →ProB2 UI using Java FX

31 December 2019

• curprev 10:1610:16, 31 December 2019 Michael Leuschel talk contribs 18,942 bytes 0 →Latest Beta Release

4 December 2019

• curprev 09:1309:13, 4 December 2019 Michael Leuschel talk contribs 18,942 bytes +154 →Tcl/Tk on Mac OS/X

26 November 2019

• curprev 15:4215:42, 26 November 2019 Michael Leuschel talk contribs 18,788 bytes −1 →ProB2 UI using Java FX
• curprev 15:4215:42, 26 November 2019 Michael Leuschel talk contribs 18,789 bytes +136 →ProB2 UI using Java FX
• curprev 15:4115:41, 26 November 2019 Michael Leuschel talk contribs 18,653 bytes +95 →Java Requirements for B parser

25 November 2019

• curprev 12:4612:46, 25 November 2019 Michael Leuschel talk contribs 18,558 bytes 0 →Latest Beta Release

11 November 2019

• curprev 19:1519:15, 11 November 2019 Michael Leuschel talk contribs 18,558 bytes +78 →Short Release History
• curprev 19:1319:13, 11 November 2019 Michael Leuschel talk contribs 18,480 bytes +3 →Latest Release

8 November 2019

• curprev 11:3411:34, 8 November 2019 Michael Leuschel talk contribs 18,477 bytes +76 →Short Release History
• curprev 11:3111:31, 8 November 2019 Michael Leuschel talk contribs 18,401 bytes 0 →Latest Release

24 October 2019

• curprev 11:2611:26, 24 October 2019 Michael Leuschel talk contribs 18,401 bytes 0 →Latest Beta Release

14 October 2019

• curprev 19:1519:15, 14 October 2019 Michael Leuschel talk contribs 18,401 bytes 0 →Latest Beta Release

2 October 2019

• curprev 07:4307:43, 2 October 2019 Michael Leuschel talk contribs 18,401 bytes +26 →ProB2 UI using Java FX

10 September 2019

• curprev 14:1914:19, 10 September 2019 Michael Leuschel talk contribs 18,375 bytes −2 →Latest Beta Release

19 July 2019

• curprev 11:2311:23, 19 July 2019 Michael Leuschel talk contribs 18,377 bytes −1 →Java Requirements for B parser
• curprev 11:2311:23, 19 July 2019 Michael Leuschel talk contribs 18,378 bytes +63 →Java Requirements for B parser
• curprev 11:2211:22, 19 July 2019 Michael Leuschel talk contribs 18,315 bytes +19 →ProB2 UI using Java FX
• curprev 11:2111:21, 19 July 2019 Michael Leuschel talk contribs 18,296 bytes −22 →ProB2 UI using Java FX
• curprev 11:2111:21, 19 July 2019 Michael Leuschel talk contribs 18,318 bytes +164 →ProB2 UI using Java FX
• curprev 11:1711:17, 19 July 2019 Michael Leuschel talk contribs 18,154 bytes +61 →ProB2 UI using Java FX
• curprev 11:1511:15, 19 July 2019 Michael Leuschel talk contribs 18,093 bytes +376 →ProB2 UI using Java FX

18 July 2019

• curprev 11:5811:58, 18 July 2019 Michael Leuschel talk contribs 17,717 bytes +178 →ProB2 UI using Java FX
• curprev 11:5111:51, 18 July 2019 Michael Leuschel talk contribs 17,539 bytes −9 →ProB2 UI using Java FX
• curprev 11:5011:50, 18 July 2019 Michael Leuschel talk contribs 17,548 bytes 0 →ProB2 UI using Java FX

12 July 2019

• curprev 14:4314:43, 12 July 2019 Michael Leuschel talk contribs 17,548 bytes +6 →Latest Release
• curprev 14:4214:42, 12 July 2019 Michael Leuschel talk contribs 17,542 bytes +6 →Latest Release
• curprev 14:3914:39, 12 July 2019 Michael Leuschel talk contribs 17,536 bytes +6 →Latest Release