User contributions for David Geleßus

10:5310:53, 18 May 2021 diff hist +22‎ N ProB2 JavaFX UI ‎ David Geleßus moved page ProB2 JavaFX UI to ProB2-UI current Tag: New redirect
10:5310:53, 18 May 2021 diff hist 0‎ m ProB2-UI ‎ David Geleßus moved page ProB2 JavaFX UI to ProB2-UI
10:5110:51, 18 May 2021 diff hist −45‎ VisB ‎ Remove top-level "VisB" section - there's nothing on this page other than VisB
10:3610:36, 18 May 2021 diff hist −26‎ ProB2-UI ‎ →‎Download: Make download link more obvious
10:3410:34, 18 May 2021 diff hist −250‎ ProB2-UI ‎ →‎Download: Link to build instructions on download page instead of repeating them
10:2910:29, 18 May 2021 diff hist +120‎ Download ‎ →‎Building ProB2-UI from source: Update build instructions
10:2310:23, 18 May 2021 diff hist −458‎ Download ‎ →‎Building ProB2-UI from source: Remove outdated comment
10:2310:23, 18 May 2021 diff hist +42‎ m Download ‎ →‎ProB2-UI using Java FX: Put source building instructions into a subsection
10:2110:21, 18 May 2021 diff hist −1‎ m ProB2-UI ‎ Fix download link
10:1710:17, 18 May 2021 diff hist +10‎ m ProB2-UI ‎ Suppress table of contents
10:1610:16, 18 May 2021 diff hist +95‎ ProB2-UI ‎ Sections
10:1010:10, 18 May 2021 diff hist 0‎ m ProB2-UI ‎ Fix text wrapping around images