Download: Revision history

24 April 2024

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

23 February 2024

• curprev 14:1814:18, 23 February 2024‎ Michael Leuschel talk contribs‎ 25,394 bytes −18‎ →‎Latest Release
• curprev 10:2410:24, 23 February 2024‎ Michael Leuschel talk contribs‎ 25,412 bytes +110‎ →‎Latest Release
• curprev 10:0510:05, 23 February 2024‎ Michael Leuschel talk contribs‎ 25,302 bytes +38‎ →‎Short Release History
• curprev 09:5309:53, 23 February 2024‎ Michael Leuschel talk contribs‎ 25,264 bytes +290‎ →‎Short Release History
• curprev 09:4709:47, 23 February 2024‎ Michael Leuschel talk contribs‎ 24,974 bytes 0‎ →‎Java Requirements for B parser
• curprev 09:4709:47, 23 February 2024‎ Michael Leuschel talk contribs‎ 24,974 bytes −109‎ →‎Latest Release

15 January 2024

• 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

26 October 2023

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

15 August 2023

• 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

14 August 2023

• 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

11 August 2023

• 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

4 August 2023

• 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

1 August 2023

• 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

22 June 2023

• 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

23 May 2023

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

4 May 2023

• 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

3 May 2023

• 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

6 April 2023

• 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

5 April 2023

• curprev 17:2917:29, 5 April 2023‎ Michael Leuschel talk contribs‎ 23,972 bytes −66‎ →‎Latest Release
• curprev 17:2817:28, 5 April 2023‎ Michael Leuschel talk contribs‎ 24,038 bytes +67‎ →‎Latest Release
• curprev 14:5414:54, 5 April 2023‎ Michael Leuschel talk contribs‎ 23,971 bytes −1‎ →‎Latest Release
• curprev 14:5314:53, 5 April 2023‎ Michael Leuschel talk contribs‎ 23,972 bytes +3‎ →‎Latest Release
• curprev 13:3513:35, 5 April 2023‎ Michael Leuschel talk contribs‎ 23,969 bytes −33‎ →‎Tcl/Tk Requirements for ProB Tcl/Tk
• curprev 13:3413:34, 5 April 2023‎ Michael Leuschel talk contribs‎ 24,002 bytes −17‎ →‎Latest Release
• curprev 13:3313:33, 5 April 2023‎ Michael Leuschel talk contribs‎ 24,019 bytes +9‎ No edit summary
• curprev 13:3213:32, 5 April 2023‎ Michael Leuschel talk contribs‎ 24,010 bytes 0‎ →‎ProB for Rodin
• curprev 13:3113:31, 5 April 2023‎ Michael Leuschel talk contribs‎ 24,010 bytes −2‎ →‎ProB for Rodin
• curprev 13:3013:30, 5 April 2023‎ Michael Leuschel talk contribs‎ 24,012 bytes +4‎ →‎Latest Release
• curprev 13:3013:30, 5 April 2023‎ Michael Leuschel talk contribs‎ 24,008 bytes +18‎ →‎Latest Release
• curprev 13:2913:29, 5 April 2023‎ Michael Leuschel talk contribs‎ 23,990 bytes +72‎ →‎Latest Release
• curprev 13:2713:27, 5 April 2023‎ Michael Leuschel talk contribs‎ 23,918 bytes −494‎ No edit summary
• curprev 13:1713:17, 5 April 2023‎ Michael Leuschel talk contribs‎ 24,412 bytes −1‎ →‎Tcl/Tk on macOS
• curprev 13:1613:16, 5 April 2023‎ Michael Leuschel talk contribs‎ 24,413 bytes +23‎ →‎Tcl/Tk on macOS
• curprev 13:1613:16, 5 April 2023‎ Michael Leuschel talk contribs‎ 24,390 bytes +11‎ →‎Tcl/Tk on macOS
• curprev 11:3911:39, 5 April 2023‎ Michael Leuschel talk contribs‎ 24,379 bytes −1‎ →‎Latest Release
• curprev 11:3911:39, 5 April 2023‎ Michael Leuschel talk contribs‎ 24,380 bytes −1‎ →‎Latest Release
• curprev 11:3811:38, 5 April 2023‎ Michael Leuschel talk contribs‎ 24,381 bytes +141‎ →‎Latest Release

23 February 2023

• 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

15 December 2022

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

10 October 2022

• 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

9 September 2022

• 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

25 April 2022

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

12 April 2022

• 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

25 March 2022

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

24 March 2022

• 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

21 March 2022

• curprev 17:4717:47, 21 March 2022‎ David Geleßus talk contribs‎ 23,252 bytes +453‎ →‎ProB Jupyter Kernel
• curprev 16:5516:55, 21 March 2022‎ David Geleßus talk contribs‎ 22,799 bytes +126‎ →‎Latest Release: Also added wikitable class so the table looks good with standard MediaWiki skins
• curprev 16:5416:54, 21 March 2022‎ David Geleßus talk contribs‎ 22,673 bytes −156‎ →‎Latest Release: Added Bootstrap table classes to have actual spacing and borders in the table
• curprev 16:4116:41, 21 March 2022‎ David Geleßus talk contribs‎ m 22,829 bytes −38‎ →‎Latest Release: Removed nbsps from table header to hopefully fix weird vertical alignment
• curprev 16:3916:39, 21 March 2022‎ David Geleßus talk contribs‎ 22,867 bytes −841‎ Made sections a bit more organized (hopefully) - there are now two major sections: one for ProB Tcl/Tk and probcli, and one for all the other tools
• curprev 16:1816:18, 21 March 2022‎ David Geleßus talk contribs‎ 23,708 bytes −173‎ →‎Latest Beta Release: Removed dead link to notarized nightly build - regular releases are now notarized
• curprev 16:0816:08, 21 March 2022‎ David Geleßus talk contribs‎ m 23,881 bytes −9‎ →‎Latest Release: Removed "64 bit" from Download column - it's all 64-bit now
• curprev 16:0216:02, 21 March 2022‎ David Geleßus talk contribs‎ 23,890 bytes −74‎ Consolidated Tcl/Tk version requirements and downloads
• curprev 15:3915:39, 21 March 2022‎ David Geleßus talk contribs‎ 23,964 bytes −309‎ →‎Java Requirements for B parser: Removed Windows error that no longer applies - every Java installer has required admin rights for years now
• curprev 15:2515:25, 21 March 2022‎ David Geleßus talk contribs‎ 24,273 bytes 0‎ →‎Latest Release: Updated macOS version requirement - SICStus 4.6 requires macOS 10.14
• curprev 15:2315:23, 21 March 2022‎ David Geleßus talk contribs‎ 24,273 bytes +377‎ →‎Latest Release: Clarified architecture support
• curprev 15:1515:15, 21 March 2022‎ David Geleßus talk contribs‎ m 23,896 bytes −129‎ →‎Latest Release
• curprev 15:1415:14, 21 March 2022‎ David Geleßus talk contribs‎ m 24,025 bytes −31‎ →‎Latest Release: Formatting
• curprev 15:1115:11, 21 March 2022‎ David Geleßus talk contribs‎ 24,056 bytes +23‎ Removed all Oracle Java links, added recommendation to not use it because of the new license
• curprev 12:2112:21, 21 March 2022‎ David Geleßus talk contribs‎ 24,033 bytes −56‎ →‎ProB2-UI: Removed version numbers from link titles
• curprev 12:1812:18, 21 March 2022‎ David Geleßus talk contribs‎ 24,089 bytes −259‎ →‎ProB2-UI: Removed Zulu link - most users should just use Java 11/17 instead
• curprev 12:1612:16, 21 March 2022‎ David Geleßus talk contribs‎ m 24,348 bytes −15‎ →‎ProB2-UI using Java FX
• curprev 11:4911:49, 21 March 2022‎ David Geleßus talk contribs‎ 24,363 bytes +505‎ →‎ProB2-UI using Java FX: Moved macOS-specific issues into their own section
• curprev 11:2811:28, 21 March 2022‎ David Geleßus talk contribs‎ 23,858 bytes −418‎ →‎ProB2-UI using Java FX: Linked to build instructions in repo instead of copy-pasting them
• curprev 11:2211:22, 21 March 2022‎ David Geleßus talk contribs‎ 24,276 bytes −869‎ →‎ProB for Rodin: Removed less important info that can also be found on the longer tutorial page

17 March 2022

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

16 March 2022

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

17 January 2022

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

13 January 2022

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

30 December 2021

• curprev 08:0708:07, 30 December 2021‎ Michael Leuschel talk contribs‎ 24,710 bytes +8‎ →‎Editor Support
• curprev 08:0508:05, 30 December 2021‎ Michael Leuschel talk contribs‎ 24,702 bytes +223‎ →‎Editor Support
• curprev 08:0308:03, 30 December 2021‎ Michael Leuschel talk contribs‎ 24,479 bytes −25‎ →‎ProB for Rodin
• curprev 07:5807:58, 30 December 2021‎ Michael Leuschel talk contribs‎ 24,504 bytes +1‎ →‎Latest Release