User contributions for David Geleßus

18 May 2021

• 11:4411:44, 18 May 2021 diff hist +41‎ Download ‎ →‎ProB2-UI using Java FX: Update download links for snapshots and old versions
• 11:3811:38, 18 May 2021 diff hist +878‎ ProB2-UI Release History ‎ Added download links for old versions
• 11:2911:29, 18 May 2021 diff hist 0‎ m ProB2-UI Release History ‎ Fix link to download page
• 11:2811:28, 18 May 2021 diff hist +24‎ ProB2-UI ‎ →‎Features: Move features in a more logical order
• 11:2611:26, 18 May 2021 diff hist −38‎ ProB2-UI ‎ →‎Features: Remove duplicate bullet point for VisB
• 11:2411:24, 18 May 2021 diff hist 0‎ ProB2-UI ‎ →‎Features: Clarify that VisB is no longer a plugin
• 11:2211:22, 18 May 2021 diff hist −1‎ m VisB ‎ →‎VisB Definitions: Typo
• 11:2211:22, 18 May 2021 diff hist +262‎ VisB ‎ Clarify that VisB is included in newer versions of ProB2-UI
• 11:0511:05, 18 May 2021 diff hist −16‎ m Well-Definedness Checking ‎ Update ProB2-UI link current
• 11:0511:05, 18 May 2021 diff hist −35‎ m Template:User Manual Index ‎ Update ProB2-UI link
• 11:0411:04, 18 May 2021 diff hist −17‎ m ProB Java API ‎ Update ProB2-UI link current
• 11:0311:03, 18 May 2021 diff hist −16‎ m SimB ‎ Update ProB2-UI link
• 11:0211:02, 18 May 2021 diff hist −17‎ m VisB ‎ Update ProB2-UI link
• 11:0211:02, 18 May 2021 diff hist +1‎ m Download ‎ →‎ProB2-UI using Java FX: Update release history link
• 11:0111:01, 18 May 2021 diff hist −17‎ m ProB2-UI Release History ‎ Update ProB2-UI link
• 11:0111:01, 18 May 2021 diff hist +1‎ m ProB2-UI ‎ →‎Download: Update release history link
• 11:0011:00, 18 May 2021 diff hist +38‎ N ProB2UI Release History ‎ David Geleßus moved page ProB2UI Release History to ProB2-UI Release History: Consistent spelling current Tag: New redirect
• 11:0011:00, 18 May 2021 diff hist 0‎ m ProB2-UI Release History ‎ David Geleßus moved page ProB2UI Release History to ProB2-UI Release History: Consistent spelling
• 10:5910:59, 18 May 2021 diff hist −17‎ m Download ‎ →‎ProB2-UI using Java FX: Update ProB2-UI link
• 10:5310:53, 18 May 2021 diff hist −7‎ m The ProB Animator and Model Checker ‎ Update ProB2-UI link