Download: Revision history

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
• curprev 07:5707:57, 30 December 2021 Michael Leuschel talk contribs 24,503 bytes +1 →Latest Release
• curprev 07:5707:57, 30 December 2021 Michael Leuschel talk contribs 24,502 bytes +156 →Latest Release
• curprev 07:5207:52, 30 December 2021 Michael Leuschel talk contribs 24,346 bytes +89 →Latest Release
• curprev 07:5107:51, 30 December 2021 Michael Leuschel talk contribs 24,257 bytes −1 →Short Release History
• curprev 07:4907:49, 30 December 2021 Michael Leuschel talk contribs 24,258 bytes +192 →Short Release History

29 December 2021

• curprev 18:1818:18, 29 December 2021 Michael Leuschel talk contribs 24,066 bytes 0 →Latest Release
• curprev 18:1618:16, 29 December 2021 Michael Leuschel talk contribs 24,066 bytes +87 →Latest Release
• curprev 18:1518:15, 29 December 2021 Michael Leuschel talk contribs 23,979 bytes −23 →Latest Release
• curprev 18:1018:10, 29 December 2021 Michael Leuschel talk contribs 24,002 bytes −7 →Latest Release
• curprev 18:0918:09, 29 December 2021 Michael Leuschel talk contribs 24,009 bytes +1 →Latest Release
• curprev 18:0918:09, 29 December 2021 Michael Leuschel talk contribs 24,008 bytes −65 →Latest Release
• curprev 18:0518:05, 29 December 2021 Michael Leuschel talk contribs 24,073 bytes −136 →Latest Release
• curprev 17:4117:41, 29 December 2021 Michael Leuschel talk contribs 24,209 bytes +2 →Latest Release
• curprev 17:3917:39, 29 December 2021 Michael Leuschel talk contribs 24,207 bytes 0 →Latest Release
• curprev 17:3817:38, 29 December 2021 Michael Leuschel talk contribs 24,207 bytes +59 →Latest Release

13 November 2021

• 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

10 November 2021

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

30 October 2021

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

29 October 2021

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

28 October 2021

• curprev 14:5014:50, 28 October 2021 Michael Leuschel talk contribs 23,243 bytes +1 →Tcl/Tk on Mac OS/X
• curprev 14:5014:50, 28 October 2021 Michael Leuschel talk contribs 23,242 bytes +74 →Tcl/Tk on Mac OS/X
• curprev 14:4714:47, 28 October 2021 Michael Leuschel talk contribs 23,168 bytes +377 →Tcl/Tk on Mac OS/X
• curprev 14:3414:34, 28 October 2021 Michael Leuschel talk contribs 22,791 bytes +13 →Tcl/Tk on Mac OS/X
• curprev 14:3414:34, 28 October 2021 Michael Leuschel talk contribs 22,778 bytes +399 →Tcl/Tk on Mac OS/X
• curprev 09:4509:45, 28 October 2021 Michael Leuschel talk contribs 22,379 bytes −81 →Tcl/Tk on Mac OS/X
• curprev 09:4409:44, 28 October 2021 Michael Leuschel talk contribs 22,460 bytes −82 →Tcl/Tk on Windows
• curprev 09:4409:44, 28 October 2021 Michael Leuschel talk contribs 22,542 bytes −11 →Tcl/Tk on Windows
• curprev 09:4209:42, 28 October 2021 Michael Leuschel talk contribs 22,553 bytes +13 →Tcl/Tk on Windows
• curprev 09:4109:41, 28 October 2021 Michael Leuschel talk contribs 22,540 bytes −189 →Tcl/Tk on Windows
• curprev 09:3909:39, 28 October 2021 Michael Leuschel talk contribs 22,729 bytes −118 →Tcl/Tk Requirements for ProB Tcl/Tk
• curprev 09:3709:37, 28 October 2021 Michael Leuschel talk contribs 22,847 bytes +96 →Tcl/Tk on Mac OS/X
• curprev 07:5007:50, 28 October 2021 Michael Leuschel talk contribs 22,751 bytes +68 →Tcl/Tk on Mac OS/X
• curprev 07:4907:49, 28 October 2021 Michael Leuschel talk contribs 22,683 bytes −2 →Nightly Builds
• curprev 07:4907:49, 28 October 2021 Michael Leuschel talk contribs 22,685 bytes +76 →Nightly Builds

27 October 2021

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

12 October 2021

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

7 October 2021

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

6 October 2021

• curprev 17:2717:27, 6 October 2021 Michael Leuschel talk contribs 22,150 bytes +2 →Latest Release
• curprev 17:2717:27, 6 October 2021 Michael Leuschel talk contribs 22,148 bytes +2 →Latest Release
• curprev 17:2617:26, 6 October 2021 Michael Leuschel talk contribs 22,146 bytes +141 →Latest Release
• curprev 15:5715:57, 6 October 2021 Michael Leuschel talk contribs 22,005 bytes +243 →Short Release History
• curprev 15:4215:42, 6 October 2021 Michael Leuschel talk contribs 21,762 bytes 0 →Latest Release
• curprev 11:5411:54, 6 October 2021 Michael Leuschel talk contribs 21,762 bytes 0 →Latest Release