User contributions for David Geleßus

18 May 2021

• 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
• 14:5114:51, 4 February 2021 diff hist +28‎ ProB for Event-B ‎ Update Rodin handbook links current
• 14:4814:48, 4 February 2021 diff hist −260‎ ProB for Rodin ‎ Update Camille update sites (there seems to be just the nightly update site now) current
• 14:3914:39, 4 February 2021 diff hist −8‎ Tutorial Disprover ‎ Update paper links
• 14:3614:36, 4 February 2021 diff hist −50‎ Tutorial Rodin Exporting ‎ Update download page link current
• 14:3414:34, 4 February 2021 diff hist −43‎ Tutorial Rodin First Step ‎ Update release update site link

3 February 2021

• 17:1217:12, 3 February 2021 diff hist +502‎ Other languages ‎ Add new section from prob2-doc (originally added by Michael Leuschel) current
• 17:1017:10, 3 February 2021 diff hist +1,892‎ Alloy ‎ Add updated syntax overview (from prob2-doc, originally added by Joshua Schmidt) current
• 17:0617:06, 3 February 2021 diff hist −14‎ ProZ ‎ Fix article PDF link current
• 17:0617:06, 3 February 2021 diff hist −14‎ TLA ‎ Fix paper PDF link
• 17:0217:02, 3 February 2021 diff hist −14‎ TLC ‎ Update article PDF link
• 16:4716:47, 3 February 2021 diff hist +12‎ Prolog Coding Guidelines ‎ Fix plcoding.pdf link
• 16:4516:45, 3 February 2021 diff hist −25‎ Why Prolog? ‎ Update SICStus link