Download: Revision history

16 December 2020

• curprev 11:2611:26, 16 December 2020 Michael Leuschel talk contribs 20,973 bytes +24 →Latest Release
• curprev 11:2211:22, 16 December 2020 Michael Leuschel talk contribs 20,949 bytes −77 →Latest Release

3 November 2020

• curprev 15:1915:19, 3 November 2020 Michael Leuschel talk contribs 21,026 bytes +33 →ProB2 UI using Java FX

2 November 2020

• curprev 11:2911:29, 2 November 2020 Michael Leuschel talk contribs 20,993 bytes −2 →Latest Release
• curprev 11:2811:28, 2 November 2020 Michael Leuschel talk contribs 20,995 bytes −14 →Latest Release

29 October 2020

• curprev 09:1309:13, 29 October 2020 Michael Leuschel talk contribs 21,009 bytes +10 →ProB2 UI using Java FX
• curprev 09:1109:11, 29 October 2020 Michael Leuschel talk contribs 20,999 bytes +325 →ProB2 UI using Java FX
• curprev 08:5508:55, 29 October 2020 Michael Leuschel talk contribs 20,674 bytes +1 →Latest Beta Release
• curprev 08:5408:54, 29 October 2020 Michael Leuschel talk contribs 20,673 bytes +172 →Latest Beta Release

21 September 2020

• curprev 14:4914:49, 21 September 2020 Michael Leuschel talk contribs 20,501 bytes 0 →Latest Beta Release

8 September 2020

• curprev 14:2314:23, 8 September 2020 Michael Leuschel talk contribs 20,501 bytes +1 →ProB2 UI using Java FX
• curprev 14:2314:23, 8 September 2020 Michael Leuschel talk contribs 20,500 bytes −2 →ProB2 UI using Java FX
• curprev 14:2214:22, 8 September 2020 Michael Leuschel talk contribs 20,502 bytes +61 →ProB2 UI using Java FX
• curprev 14:2014:20, 8 September 2020 Michael Leuschel talk contribs 20,441 bytes +71 →ProB2 UI using Java FX

21 August 2020

• curprev 11:3711:37, 21 August 2020 Michael Leuschel talk contribs 20,370 bytes +9 →ProB2 UI using Java FX
• curprev 10:4810:48, 21 August 2020 Michael Leuschel talk contribs 20,361 bytes +160 →ProB2 UI using Java FX

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