Navigation
Special Pages
- Recent changes

User
- Log in

Download: Revision history

View logs for this page

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 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

Retrieved from "https://prob.hhu.de/w/index.php?title=Download"