Download: Revision history

30 December 2021

• 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

18 May 2021

• curprev 11:4411:44, 18 May 2021‎ David Geleßus talk contribs‎ 21,762 bytes +41‎ →‎ProB2-UI using Java FX: Update download links for snapshots and old versions
• curprev 11:0211:02, 18 May 2021‎ David Geleßus talk contribs‎ m 21,721 bytes +1‎ →‎ProB2-UI using Java FX: Update release history link
• curprev 10:5910:59, 18 May 2021‎ David Geleßus talk contribs‎ m 21,720 bytes −17‎ →‎ProB2-UI using Java FX: Update ProB2-UI link
• curprev 10:2910:29, 18 May 2021‎ David Geleßus talk contribs‎ 21,737 bytes +120‎ →‎Building ProB2-UI from source: Update build instructions
• curprev 10:2310:23, 18 May 2021‎ David Geleßus talk contribs‎ 21,617 bytes −458‎ →‎Building ProB2-UI from source: Remove outdated comment
• curprev 10:2310:23, 18 May 2021‎ David Geleßus talk contribs‎ m 22,075 bytes +42‎ →‎ProB2-UI using Java FX: Put source building instructions into a subsection

29 January 2021

• 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

28 January 2021

• 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

27 January 2021

• curprev 16:3016:30, 27 January 2021‎ Michael Leuschel talk contribs‎ 21,359 bytes −1‎ →‎Latest Release
• curprev 16:2916:29, 27 January 2021‎ Michael Leuschel talk contribs‎ 21,360 bytes −64‎ →‎Latest Release
• curprev 14:1914:19, 27 January 2021‎ Michael Leuschel talk contribs‎ 21,424 bytes +3‎ →‎ProB2 UI using Java FX
• curprev 14:0514:05, 27 January 2021‎ Michael Leuschel talk contribs‎ 21,421 bytes +2‎ →‎ProB2 UI using Java FX
• curprev 14:0514:05, 27 January 2021‎ Michael Leuschel talk contribs‎ 21,419 bytes +9‎ →‎ProB2 UI using Java FX
• curprev 14:0314:03, 27 January 2021‎ Michael Leuschel talk contribs‎ 21,410 bytes 0‎ →‎ProB2 UI using Java FX
• curprev 14:0314:03, 27 January 2021‎ Michael Leuschel talk contribs‎ 21,410 bytes +91‎ →‎ProB2 UI using Java FX

26 January 2021

• curprev 16:0516:05, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,319 bytes +24‎ →‎ProB2 UI using Java FX
• curprev 14:5114:51, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,295 bytes +2‎ →‎ProB2 UI using Java FX
• curprev 14:3214:32, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,293 bytes +106‎ →‎ProB2 UI using Java FX
• curprev 14:2814:28, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,187 bytes −26‎ →‎ProB2 UI using Java FX
• curprev 13:5513:55, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,213 bytes −8‎ →‎Sourcecode
• curprev 11:5211:52, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,221 bytes −124‎ →‎ProB2 UI using Java FX
• curprev 11:0611:06, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,345 bytes −1‎ →‎ProB2 UI using Java FX
• curprev 11:0611:06, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,346 bytes −3‎ →‎ProB2 UI using Java FX
• curprev 11:0511:05, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,349 bytes 0‎ →‎ProB2 UI using Java FX
• curprev 11:0411:04, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,349 bytes +2‎ →‎ProB2 UI using Java FX
• curprev 11:0411:04, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,347 bytes +1‎ →‎ProB2 UI using Java FX
• curprev 09:2009:20, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,346 bytes −149‎ →‎ProB2 UI using Java FX
• curprev 09:1909:19, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,495 bytes −4‎ →‎ProB2 UI using Java FX
• curprev 09:1909:19, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,499 bytes −3‎ →‎ProB2 UI using Java FX
• curprev 09:1709:17, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,502 bytes −1‎ →‎ProB2 UI using Java FX
• curprev 09:1609:16, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,503 bytes +21‎ →‎ProB2 UI using Java FX
• curprev 09:1609:16, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,482 bytes −455‎ →‎ProB2 UI using Java FX
• curprev 09:1109:11, 26 January 2021‎ Michael Leuschel talk contribs‎ 21,937 bytes +2‎ →‎ProB2 UI using Java FX

22 January 2021

• 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

23 December 2020

• 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

17 December 2020

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

16 December 2020

• curprev 15:5415:54, 16 December 2020‎ Michael Leuschel talk contribs‎ 21,631 bytes +344‎ →‎Latest Release
• curprev 15:5115:51, 16 December 2020‎ Michael Leuschel talk contribs‎ 21,287 bytes +195‎ →‎ProB2 UI using Java FX
• curprev 12:0812:08, 16 December 2020‎ Michael Leuschel talk contribs‎ 21,092 bytes +1‎ →‎Short Release History
• curprev 11:5511:55, 16 December 2020‎ Michael Leuschel talk contribs‎ 21,091 bytes +182‎ →‎Short Release History
• curprev 11:4711:47, 16 December 2020‎ Michael Leuschel talk contribs‎ 20,909 bytes −64‎ →‎Latest Release
• curprev 11:2611:26, 16 December 2020‎ Michael Leuschel talk contribs‎ 20,973 bytes +24‎ →‎Latest Release
• curprev 11:2211:22, 16 December 2020‎ Michael Leuschel talk contribs‎ 20,949 bytes −77‎ →‎Latest Release

3 November 2020

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

2 November 2020

• 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

29 October 2020

• curprev 09:1309:13, 29 October 2020‎ Michael Leuschel talk contribs‎ 21,009 bytes +10‎ →‎ProB2 UI using Java FX