ProB2-UI: Revision history

20 June 2023

• curprev 15:5815:58, 20 June 2023‎ David Geleßus talk contribs‎ 5,517 bytes +55‎ →‎Download: Release history is now in the Git repo

21 March 2022

• curprev 12:1612:16, 21 March 2022‎ David Geleßus talk contribs‎ m 5,462 bytes −14‎ →‎Download
• curprev 11:2911:29, 21 March 2022‎ David Geleßus talk contribs‎ 5,476 bytes +17‎ →‎Download: Linked to build instructions in repo instead of wiki
• curprev 11:1111:11, 21 March 2022‎ David Geleßus talk contribs‎ 5,459 bytes +122‎ Move citation out of the way and add Springer Link link

27 August 2021

• curprev 10:1210:12, 27 August 2021‎ Fabian Vu talk contribs‎ 5,337 bytes +5‎ No edit summary
• curprev 10:1110:11, 27 August 2021‎ Fabian Vu talk contribs‎ 5,332 bytes +983‎ No edit summary

25 May 2021

• curprev 07:2107:21, 25 May 2021‎ Michael Leuschel talk contribs‎ 4,349 bytes +49‎ →‎Features

24 May 2021

• curprev 15:5415:54, 24 May 2021‎ Michael Leuschel talk contribs‎ 4,300 bytes 0‎ →‎Features
• curprev 15:5315:53, 24 May 2021‎ Michael Leuschel talk contribs‎ 4,300 bytes +15‎ →‎Features
• curprev 15:5315:53, 24 May 2021‎ Michael Leuschel talk contribs‎ 4,285 bytes +368‎ →‎Features
• curprev 15:5115:51, 24 May 2021‎ Michael Leuschel talk contribs‎ 3,917 bytes +108‎ No edit summary

18 May 2021

• curprev 11:2811:28, 18 May 2021‎ David Geleßus talk contribs‎ 3,809 bytes +24‎ →‎Features: Move features in a more logical order
• curprev 11:2611:26, 18 May 2021‎ David Geleßus talk contribs‎ 3,785 bytes −38‎ →‎Features: Remove duplicate bullet point for VisB
• curprev 11:2411:24, 18 May 2021‎ David Geleßus talk contribs‎ 3,823 bytes 0‎ →‎Features: Clarify that VisB is no longer a plugin
• curprev 11:0111:01, 18 May 2021‎ David Geleßus talk contribs‎ m 3,823 bytes +1‎ →‎Download: Update release history link
• curprev 10:5310:53, 18 May 2021‎ David Geleßus talk contribs‎ m 3,822 bytes 0‎ David Geleßus moved page ProB2 JavaFX UI to ProB2-UI
• curprev 10:3610:36, 18 May 2021‎ David Geleßus talk contribs‎ 3,822 bytes −26‎ →‎Download: Make download link more obvious
• curprev 10:3410:34, 18 May 2021‎ David Geleßus talk contribs‎ 3,848 bytes −250‎ →‎Download: Link to build instructions on download page instead of repeating them
• curprev 10:2110:21, 18 May 2021‎ David Geleßus talk contribs‎ m 4,098 bytes −1‎ Fix download link
• curprev 10:1710:17, 18 May 2021‎ David Geleßus talk contribs‎ m 4,099 bytes +10‎ Suppress table of contents
• curprev 10:1610:16, 18 May 2021‎ David Geleßus talk contribs‎ 4,089 bytes +95‎ Sections
• curprev 10:1010:10, 18 May 2021‎ David Geleßus talk contribs‎ m 3,994 bytes 0‎ Fix text wrapping around images

27 January 2021

• curprev 14:2214:22, 27 January 2021‎ Michael Leuschel talk contribs‎ 3,994 bytes −43‎ No edit summary
• curprev 14:0214:02, 27 January 2021‎ Michael Leuschel talk contribs‎ 4,037 bytes +92‎ No edit summary
• curprev 14:0114:01, 27 January 2021‎ Michael Leuschel talk contribs‎ 3,945 bytes +85‎ No edit summary
• curprev 13:5613:56, 27 January 2021‎ Michael Leuschel talk contribs‎ 3,860 bytes +9‎ No edit summary
• curprev 13:4813:48, 27 January 2021‎ Michael Leuschel talk contribs‎ 3,851 bytes +49‎ No edit summary

26 January 2021

• curprev 11:1811:18, 26 January 2021‎ Michael Leuschel talk contribs‎ 3,802 bytes +24‎ No edit summary
• curprev 11:1711:17, 26 January 2021‎ Michael Leuschel talk contribs‎ 3,778 bytes −33‎ No edit summary
• curprev 11:1511:15, 26 January 2021‎ Michael Leuschel talk contribs‎ 3,811 bytes +149‎ No edit summary

7 February 2020

• curprev 12:4912:49, 7 February 2020‎ Michael Leuschel talk contribs‎ 3,662 bytes +26‎ No edit summary
• curprev 11:5411:54, 7 February 2020‎ Michael Leuschel talk contribs‎ 3,636 bytes +81‎ No edit summary
• curprev 11:4911:49, 7 February 2020‎ Michael Leuschel talk contribs‎ 3,555 bytes +138‎ No edit summary
• curprev 11:4811:48, 7 February 2020‎ Michael Leuschel talk contribs‎ 3,417 bytes +167‎ No edit summary

20 July 2019

• curprev 07:5707:57, 20 July 2019‎ Michael Leuschel talk contribs‎ 3,250 bytes +557‎ No edit summary
• curprev 07:4807:48, 20 July 2019‎ Michael Leuschel talk contribs‎ 2,693 bytes 0‎ →‎The ProB2 JavaFX Main Window
• curprev 07:4707:47, 20 July 2019‎ Michael Leuschel talk contribs‎ 2,693 bytes −43‎ →‎The ProB2 JavaFX Main Window
• curprev 07:4507:45, 20 July 2019‎ Michael Leuschel talk contribs‎ 2,736 bytes +48‎ No edit summary

4 February 2018

• curprev 09:3409:34, 4 February 2018‎ Michael Leuschel talk contribs‎ 2,688 bytes +138‎ No edit summary

4 October 2017

• curprev 09:2909:29, 4 October 2017‎ Yumiko Takahashi talk contribs‎ 2,550 bytes −19‎ No edit summary
• curprev 09:2709:27, 4 October 2017‎ Yumiko Takahashi talk contribs‎ 2,569 bytes +1,376‎ →‎The Submenus
• curprev 08:5008:50, 4 October 2017‎ Yumiko Takahashi talk contribs‎ 1,193 bytes +195‎ →‎The ProB2 JavaFX Main Menu Bar
• curprev 08:4008:40, 4 October 2017‎ Yumiko Takahashi talk contribs‎ 998 bytes −348‎ →‎The ProB2 JavaFX Main Menu Bar

6 September 2017

• curprev 10:1010:10, 6 September 2017‎ Yumiko Takahashi talk contribs‎ m 1,346 bytes +75‎ No edit summary
• curprev 10:0210:02, 6 September 2017‎ Yumiko Takahashi talk contribs‎ m 1,271 bytes +4‎ No edit summary
• curprev 08:0708:07, 6 September 2017‎ Michael Leuschel talk contribs‎ 1,267 bytes 0‎ →‎The ProB2 JavaFX Main Window
• curprev 08:0708:07, 6 September 2017‎ Michael Leuschel talk contribs‎ 1,267 bytes +6‎ →‎The ProB2 JavaFX Main Window
• curprev 08:0508:05, 6 September 2017‎ Michael Leuschel talk contribs‎ 1,261 bytes −2‎ →‎The ProB2 JavaFX Main Window
• curprev 08:0408:04, 6 September 2017‎ Michael Leuschel talk contribs‎ 1,263 bytes +1,263‎ Created page with "== The ProB2 JavaFX Main Window == By default the main window is split into three vertical panes (see below). * In the left pane, the Operations view , showing the operatio..."