Download: Revision history

5 April 2023

• 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