Download: 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.

curprev 07:1407:14, 24 April 2024‎ Michael Leuschel talk contribs‎ 25,346 bytes −48‎ →‎Latest Beta Release

curprev 12:1412:14, 15 January 2024‎ Michael Leuschel talk contribs‎ 25,083 bytes 0‎ →‎Tcl/Tk from Homebrew or MacPorts
curprev 12:1412:14, 15 January 2024‎ Michael Leuschel talk contribs‎ 25,083 bytes +2‎ →‎Tcl/Tk on macOS

curprev 13:3213:32, 26 October 2023‎ Michael Leuschel talk contribs‎ 25,081 bytes +17‎ →‎ProB2-UI

curprev 14:1814:18, 15 August 2023‎ David Geleßus talk contribs‎ m 25,064 bytes 0‎ →‎ProB2-UI
curprev 14:1814:18, 15 August 2023‎ David Geleßus talk contribs‎ 25,064 bytes −117‎ →‎ProB2-UI: Update and deduplicate info about ProB Java API
curprev 14:1514:15, 15 August 2023‎ David Geleßus talk contribs‎ 25,181 bytes +188‎ →‎ProB2-UI: Update download links for release 1.2.1

curprev 16:5416:54, 14 August 2023‎ David Geleßus talk contribs‎ 24,993 bytes 0‎ →‎Short Release History: AAAAAAAAAAAAAA
curprev 16:4916:49, 14 August 2023‎ David Geleßus talk contribs‎ 24,993 bytes 0‎ →‎Short Release History: The dates were an inconsistent mix of d/m/y and m/d/y AAAAAA I hope this is correct now
curprev 16:4516:45, 14 August 2023‎ David Geleßus talk contribs‎ m 24,993 bytes +17‎ →‎Short Release History

curprev 10:3010:30, 11 August 2023‎ David Geleßus talk contribs‎ m 24,976 bytes +44‎ No edit summary
curprev 10:2710:27, 11 August 2023‎ David Geleßus talk contribs‎ 24,932 bytes −208‎ Remove old info about problem with Oracle Java 17 that was fixed in SICStus 4.7.1
curprev 09:0709:07, 11 August 2023‎ Michael Leuschel talk contribs‎ 25,140 bytes +105‎ →‎Short Release History
curprev 05:5405:54, 11 August 2023‎ Michael Leuschel talk contribs‎ 25,035 bytes 0‎ →‎Latest Release

curprev 07:4007:40, 4 August 2023‎ Michael Leuschel talk contribs‎ 25,035 bytes +307‎ →‎Graphviz Requirements
curprev 06:0606:06, 4 August 2023‎ Michael Leuschel talk contribs‎ 24,728 bytes +231‎ →‎Tcl/Tk on macOS

curprev 09:4309:43, 1 August 2023‎ David Geleßus talk contribs‎ 24,497 bytes +203‎ →‎macOS issues: Update instructions for opening not signed/notarized app
curprev 09:3409:34, 1 August 2023‎ David Geleßus talk contribs‎ 24,294 bytes +196‎ →‎ProB2-UI: Update macOS snapshot links for new Apple Silicon build

curprev 11:3611:36, 22 June 2023‎ David Geleßus talk contribs‎ m 24,098 bytes +126‎ →‎Editor Support
curprev 11:3411:34, 22 June 2023‎ David Geleßus talk contribs‎ 23,972 bytes −352‎ →‎Editor Support: Remove Atom package because Atom is dead now
curprev 10:5910:59, 22 June 2023‎ David Geleßus talk contribs‎ 24,324 bytes +124‎ →‎ProB2-UI: Link release history
curprev 10:5810:58, 22 June 2023‎ David Geleßus talk contribs‎ 24,200 bytes −150‎ →‎ProB2-UI: Release 1.2.0

curprev 13:5113:51, 23 May 2023‎ Michael Leuschel talk contribs‎ 24,350 bytes +141‎ →‎ProB2-UI

curprev 15:1615:16, 4 May 2023‎ David Geleßus talk contribs‎ m 24,209 bytes −5‎ →‎Java Requirements for B parser
curprev 08:2108:21, 4 May 2023‎ David Geleßus talk contribs‎ 24,214 bytes +86‎ Update Java requirements

curprev 14:1714:17, 3 May 2023‎ Michael Leuschel talk contribs‎ 24,128 bytes +1‎ →‎Latest Release
curprev 14:1314:13, 3 May 2023‎ Michael Leuschel talk contribs‎ 24,127 bytes −138‎ →‎Latest Release
curprev 11:2311:23, 3 May 2023‎ Michael Leuschel talk contribs‎ 24,265 bytes +2‎ →‎Latest Release

curprev 11:4111:41, 6 April 2023‎ Michael Leuschel talk contribs‎ 24,263 bytes −1‎ →‎Short Release History
curprev 11:4111:41, 6 April 2023‎ Michael Leuschel talk contribs‎ 24,264 bytes +88‎ →‎Short Release History
curprev 11:0311:03, 6 April 2023‎ Michael Leuschel talk contribs‎ 24,176 bytes 0‎ →‎Short Release History
curprev 11:0311:03, 6 April 2023‎ Michael Leuschel talk contribs‎ 24,176 bytes +204‎ →‎Short Release History

curprev 12:2712:27, 23 February 2023‎ David Geleßus talk contribs‎ 24,240 bytes +4‎ Update another link
curprev 12:2212:22, 23 February 2023‎ David Geleßus talk contribs‎ 24,236 bytes +57‎ Update links to new server

curprev 10:3110:31, 15 December 2022‎ Michael Leuschel talk contribs‎ 24,179 bytes +21‎ →‎Tcl/Tk on macOS

curprev 10:4310:43, 10 October 2022‎ Michael Leuschel talk contribs‎ 24,158 bytes −1‎ →‎Tcl/Tk on macOS
curprev 10:4110:41, 10 October 2022‎ Michael Leuschel talk contribs‎ 24,159 bytes +50‎ →‎Tcl/Tk on macOS

curprev 13:3513:35, 9 September 2022‎ Michael Leuschel talk contribs‎ 24,109 bytes −5‎ →‎Tcl/Tk on Windows
curprev 13:3413:34, 9 September 2022‎ Michael Leuschel talk contribs‎ 24,114 bytes +446‎ →‎Tcl/Tk on Windows

curprev 11:2711:27, 25 April 2022‎ Michael Leuschel talk contribs‎ 23,668 bytes 0‎ →‎Latest Beta Release

curprev 07:4707:47, 12 April 2022‎ Michael Leuschel talk contribs‎ 23,668 bytes −1‎ →‎Latest Release
curprev 07:4607:46, 12 April 2022‎ Michael Leuschel talk contribs‎ 23,669 bytes +37‎ →‎Latest Release
curprev 07:4507:45, 12 April 2022‎ Michael Leuschel talk contribs‎ 23,632 bytes −186‎ →‎Java Requirements for B parser
curprev 07:4207:42, 12 April 2022‎ Michael Leuschel talk contribs‎ 23,818 bytes +163‎ →‎Java Requirements for B parser

curprev 10:1110:11, 25 March 2022‎ David Geleßus talk contribs‎ 23,655 bytes +462‎ →‎ProB2-UI: Added better links to snapshot builds

curprev 08:1308:13, 24 March 2022‎ David Geleßus talk contribs‎ 23,193 bytes −59‎ →‎Latest Beta Release
curprev 06:5506:55, 24 March 2022‎ Michael Leuschel talk contribs‎ 23,252 bytes 0‎ →‎Latest Beta Release

curprev 09:1709:17, 17 March 2022‎ Michael Leuschel talk contribs‎ 25,145 bytes +94‎ →‎ProB2-UI using Java FX

curprev 10:4610:46, 16 March 2022‎ Michael Leuschel talk contribs‎ 25,051 bytes +170‎ →‎ProB2-UI using Java FX

curprev 12:5912:59, 17 January 2022‎ Michael Leuschel talk contribs‎ 24,881 bytes +150‎ →‎ProB2-UI using Java FX

curprev 15:1515:15, 13 January 2022‎ Michael Leuschel talk contribs‎ 24,731 bytes +21‎ →‎Latest Release

curprev 07:2607:26, 13 November 2021‎ Michael Leuschel talk contribs‎ 24,148 bytes +16‎ →‎Graphviz Requirements
curprev 07:2507:25, 13 November 2021‎ Michael Leuschel talk contribs‎ 24,132 bytes +598‎ →‎Graphviz Requirements

curprev 12:4112:41, 10 November 2021‎ Michael Leuschel talk contribs‎ 23,534 bytes −5‎ →‎Tcl/Tk on Mac OS/X

curprev 06:4106:41, 30 October 2021‎ Michael Leuschel talk contribs‎ 23,539 bytes +97‎ →‎Tcl/Tk on Mac OS/X

curprev 08:3308:33, 29 October 2021‎ Michael Leuschel talk contribs‎ 23,442 bytes +199‎ →‎Tcl/Tk on Mac OS/X

curprev 07:1707:17, 27 October 2021‎ Michael Leuschel talk contribs‎ 22,609 bytes +107‎ →‎Tcl/Tk on Mac OS/X

curprev 14:0214:02, 12 October 2021‎ Michael Leuschel talk contribs‎ 22,502 bytes +162‎ →‎Tcl/Tk on Mac OS/X

curprev 06:2606:26, 7 October 2021‎ Michael Leuschel talk contribs‎ 22,340 bytes +190‎ →‎ProB2-UI using Java FX

curprev 09:0509:05, 29 January 2021‎ Michael Leuschel talk contribs‎ 22,033 bytes +135‎ →‎Latest Release
curprev 08:3508:35, 29 January 2021‎ Michael Leuschel talk contribs‎ 21,898 bytes +55‎ →‎Latest Release
curprev 08:3508:35, 29 January 2021‎ Michael Leuschel talk contribs‎ 21,843 bytes +146‎ →‎Latest Release

curprev 09:3609:36, 28 January 2021‎ Michael Leuschel talk contribs‎ 21,697 bytes +1‎ →‎Latest Release
curprev 09:3609:36, 28 January 2021‎ Michael Leuschel talk contribs‎ 21,696 bytes −114‎ →‎Latest Release
curprev 09:3509:35, 28 January 2021‎ Michael Leuschel talk contribs‎ 21,810 bytes +451‎ →‎Latest Release

curprev 10:1210:12, 22 January 2021‎ Michael Leuschel talk contribs‎ 21,935 bytes −6‎ →‎Latest Release
curprev 10:1210:12, 22 January 2021‎ Michael Leuschel talk contribs‎ 21,941 bytes +1‎ →‎Latest Release
curprev 10:1110:11, 22 January 2021‎ Michael Leuschel talk contribs‎ 21,940 bytes −6‎ →‎Latest Release
curprev 10:1010:10, 22 January 2021‎ Michael Leuschel talk contribs‎ 21,946 bytes +38‎ →‎Latest Release

curprev 10:1310:13, 23 December 2020‎ Michael Leuschel talk contribs‎ 21,908 bytes +1‎ →‎Tcl/Tk on Mac OS/X
curprev 10:1210:12, 23 December 2020‎ Michael Leuschel talk contribs‎ 21,907 bytes +2‎ →‎Tcl/Tk on Mac OS/X
curprev 10:1210:12, 23 December 2020‎ Michael Leuschel talk contribs‎ 21,905 bytes +155‎ →‎Tcl/Tk on Mac OS/X

curprev 14:4514:45, 17 December 2020‎ Michael Leuschel talk contribs‎ 21,750 bytes +119‎ →‎ProB2 UI using Java FX

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

24 April 2024

23 February 2024

15 January 2024

26 October 2023

15 August 2023

14 August 2023

11 August 2023

4 August 2023

1 August 2023

22 June 2023

23 May 2023

4 May 2023

3 May 2023

6 April 2023

5 April 2023

23 February 2023

15 December 2022

10 October 2022

9 September 2022

25 April 2022

12 April 2022

25 March 2022

24 March 2022

21 March 2022

17 March 2022

16 March 2022

17 January 2022

13 January 2022

30 December 2021

29 December 2021

13 November 2021

10 November 2021

30 October 2021

29 October 2021

28 October 2021

27 October 2021

12 October 2021

7 October 2021

6 October 2021

18 May 2021

29 January 2021

28 January 2021

27 January 2021

26 January 2021

22 January 2021

23 December 2020

17 December 2020

16 December 2020

3 November 2020

2 November 2020

29 October 2020

21 September 2020

8 September 2020

21 August 2020

18 July 2020

6 July 2020

5 May 2020

16 April 2020

3 March 2020

19 February 2020

18 February 2020

14 February 2020

11 February 2020

7 February 2020

4 February 2020

20 January 2020

7 January 2020

31 December 2019

4 December 2019

26 November 2019

25 November 2019

11 November 2019

8 November 2019

24 October 2019

14 October 2019

2 October 2019

10 September 2019

19 July 2019