User contributions for David Geleßus

18 May 2021

• 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
• 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

4 February 2021

• 17:5117:51, 4 February 2021 diff hist −197‎ Windows Installation Instructions ‎ Update ProB download links current
• 17:3817:38, 4 February 2021 diff hist −73‎ Summary of B Syntax ‎ Update wiki links
• 17:3017:30, 4 February 2021 diff hist −50‎ Tutorial Modeling Infinite Datatypes ‎ Update download link
• 17:2317:23, 4 February 2021 diff hist −25‎ Refinement Checking ‎ Update wiki link current
• 17:2217:22, 4 February 2021 diff hist −54‎ Consistency Checking ‎ Update PDF link current
• 17:2017:20, 4 February 2021 diff hist −38‎ DMC ‎ Update links current
• 17:1817:18, 4 February 2021 diff hist −104‎ LTL Model Checking ‎ Update wiki links
• 17:1517:15, 4 February 2021 diff hist −31‎ Symmetry Reduction ‎ Update PDF links current
• 17:1117:11, 4 February 2021 diff hist −22‎ Tutorial Various Optimizations ‎ Update PDF link current
• 16:2816:28, 4 February 2021 diff hist +2‎ m Test Case Generation ‎ →‎With a test description file: Fix heading level current
• 16:2716:27, 4 February 2021 diff hist +5,672‎ Test Case Generation ‎ Update with content from prob2-doc (originally written by Jessica Petrasch)
• 16:0716:07, 4 February 2021 diff hist +2,318‎ Tutorial Model-Based Testing ‎ Update with content from prob2-doc (originally written by Jessica Petrasch) current
• 16:0616:06, 4 February 2021 diff hist +63‎ N File:MBT-MCM-Result-SC.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0616:06, 4 February 2021 diff hist +63‎ N File:MBT-MCM-Result-Acc.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0516:05, 4 February 2021 diff hist +63‎ N File:MBT-MCM-Dialog-SC.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0516:05, 4 February 2021 diff hist +63‎ N File:MBT-MCM-Dialog-Acc.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0516:05, 4 February 2021 diff hist +63‎ N File:MBT-CBC-Tree-SC.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0516:05, 4 February 2021 diff hist +63‎ N File:MBT-CBC-Tree-DC.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0416:04, 4 February 2021 diff hist +63‎ N File:MBT-CBC-Tree-Acc.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0416:04, 4 February 2021 diff hist +63‎ N File:MBT-CBC-Result-SC.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0416:04, 4 February 2021 diff hist +63‎ N File:MBT-CBC-Menu-SC.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 16:0416:04, 4 February 2021 diff hist +63‎ N File:MBT-CBC-Dialog-SC.png ‎ Originally added by Jessica Petrasch in prob2-doc current
• 15:5215:52, 4 February 2021 diff hist −54‎ State Space Visualization ‎ Update paper link
• 15:5015:50, 4 February 2021 diff hist −50‎ Eval Console ‎ Update download page link current
• 15:4515:45, 4 February 2021 diff hist +698‎ Using the Command-Line Version of ProB ‎ Document -pref_group (from prob2-doc, originally added by Michael Leuschel)
• 15:3315:33, 4 February 2021 diff hist −21‎ CSP-M ‎ Update paper link current