User contributions for David Geleßus

15:5215:52, 15 June 2021 diff hist +207‎ N Handbook/ProB 2 UI ‎ Created page with "= ProB2-UI = {{:ProB2-UI}} = History View = {{:History View}} = Project View = {{:Project View}} = Verification View = {{:Verification View}} = Statistic..." current
15:5115:51, 15 June 2021 diff hist +363‎ N Handbook/ProB 2 ‎ Created page with "= ProB 2.0 Development = {{:ProB 2.0 Development}} = ProB 2.0 within Rodin and a HTML Visualization Example = {{:ProB 2.0 within Rodin and a HTML Visualization Exampl..." current
15:4915:49, 15 June 2021 diff hist +574‎ N Handbook/Advanced Features ‎ Created page with "= Bash Completion = {{:Bash Completion}} = Common Subexpression Elimination = {{:Common Subexpression Elimination}} = The ProB Search Path = {{:PROBPAT..." current
15:4615:46, 15 June 2021 diff hist +644‎ N Handbook/Other Languages ‎ Created page with "Also see the following tutorials: * Tutorial Rodin First Step * Tutorial Rodin Parameters * Tutorial Rodin Exporting * Tutorial Symbolic Constants * Tutoria..."
15:3815:38, 15 June 2021 diff hist +122‎ N Handbook/Command Line ‎ Created page with "= ProB Cli = {{:ProB Cli}} = Using the Command-Line Version of ProB = {{:Using the Command-Line Version of ProB}}" current
15:3615:36, 15 June 2021 diff hist +353‎ N Handbook/Visualisation ‎ Created page with "__TOC__ = Graphical Viewer = {{:Graphical Viewer}} = State Space Visualization = {{:State Space Visualization}} = State space visualization examples = {{:State..." current
15:3115:31, 15 June 2021 diff hist +172‎ N Handbook/Testing ‎ Created page with "Also see Tutorial Model-Based Testing. = State Space Coverage Analyses = {{:State Space Coverage Analyses}} = Test Case Generation = {{:Test Case Generation}}" current
15:2315:23, 15 June 2021 diff hist +1,130‎ N Handbook ‎ Created page with "This page lets you read the wiki content in a more traditional '''handbook''' format. Each section linked below is a collection of wiki pages related to that topic, combined i..."
15:0515:05, 15 June 2021 diff hist +986‎ N Handbook/Validation ‎ Created page with "Also see the following tutorials: * Tutorial First Model Checking * Tutorial Complete Model Checking * Tutorial Directed Model Checking * Tutorial Various Optim..." current

11:5011:50, 14 June 2021 diff hist +576‎ N Handbook/B Language ‎ Created page with "= Current Limitations = {{:Current Limitations}} = Summary of B Syntax = {{:Summary of B Syntax}} = Types = {{:Types}} = Deferred Sets = {{:Deferred Sets}}..."
11:5011:50, 14 June 2021 diff hist +452‎ N Handbook/Animation ‎ Created page with "Also see the following tutorials: * Tutorial First Step * Tutorial Animation Tips * Tutorial Setup Phases * Tutorial Understanding the Complexity of B Animation..." current
11:5011:50, 14 June 2021 diff hist +177‎ N Handbook/General ‎ Created page with "__TOC__ = Installation = {{:Installation}} = Windows Installation Instructions = {{:Windows Installation Instructions}} = Editors for ProB = {{:Editors for ProB}}" current

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

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

User contributions for David Geleßus

15 June 2021

14 June 2021

18 May 2021

4 February 2021