User contributions for David Geleßus

12:2512:25, 21 March 2022 diff hist −1‎ m DownloadPriorVersions ‎No edit summary
12:2512:25, 21 March 2022 diff hist +10‎ DownloadPriorVersions ‎ Set DISPLAYTITLE instead of a top-level heading
12:2112:21, 21 March 2022 diff hist −56‎ Download ‎ →‎ProB2-UI: Removed version numbers from link titles
12:1812:18, 21 March 2022 diff hist −259‎ Download ‎ →‎ProB2-UI: Removed Zulu link - most users should just use Java 11/17 instead
12:1612:16, 21 March 2022 diff hist −14‎ m ProB2-UI ‎ →‎Download
12:1612:16, 21 March 2022 diff hist −15‎ m Download ‎ →‎ProB2-UI using Java FX
11:4911:49, 21 March 2022 diff hist +505‎ Download ‎ →‎ProB2-UI using Java FX: Moved macOS-specific issues into their own section
11:2911:29, 21 March 2022 diff hist +17‎ ProB2-UI ‎ →‎Download: Linked to build instructions in repo instead of wiki
11:2811:28, 21 March 2022 diff hist −418‎ Download ‎ →‎ProB2-UI using Java FX: Linked to build instructions in repo instead of copy-pasting them
11:2211:22, 21 March 2022 diff hist −869‎ Download ‎ →‎ProB for Rodin: Removed less important info that can also be found on the longer tutorial page
11:2111:21, 21 March 2022 diff hist +1‎ Tutorial Rodin First Step ‎ →‎Installation: Updated Rodin install link
11:1511:15, 21 March 2022 diff hist −132‎ Tutorial Rodin First Step ‎ →‎Installation: Removed screencast link - the video is no longer on the linked page
11:1111:11, 21 March 2022 diff hist +122‎ ProB2-UI ‎ Move citation out of the way and add Springer Link link

14:5914:59, 10 March 2022 diff hist +118‎ Running ProB from source ‎ →‎Running ProB with SWI-Prolog

15:1015:10, 7 December 2021 diff hist −3‎ m Running ProB from source ‎ →‎Running ProB Tests with SWI-Prolog: Remove old broken prompt from test REPL example
14:3414:34, 7 December 2021 diff hist +196‎ Running ProB from source ‎ →‎Running ProB Tests with SWI-Prolog: Update explanation of unavailable tests now that "available" command has been removed
14:2814:28, 7 December 2021 diff hist −72‎ Running ProB from source ‎ →‎Running ProB with SWI-Prolog: Simplify commands using new prolog.sh and probcli_src.sh wrapper scripts

13:2913:29, 11 August 2021 diff hist −302‎ Running ProB from source ‎ →‎Running ProB with SWI-Prolog: Update instructions now that a compatible SWI version has been released

11:4611:46, 22 July 2021 diff hist +88‎ Running ProB from source ‎ →‎Running ProB from Prolog: Document minimum SICStus version
11:4311:43, 22 July 2021 diff hist −135‎ Running ProB from source ‎ →‎Building ProB Extensions: Remove outdated instructions about fuzz on Mac - since 2014 we patch the fuzz Makefile to not assume gawk
11:4111:41, 22 July 2021 diff hist −27‎ m Running ProB from source ‎ →‎Running ProB from Prolog: Updated SICStus link
11:0711:07, 22 July 2021 diff hist +186‎ Running ProB from source ‎ →‎Running ProB with SWI-Prolog: SWI no longer needs to be patched for running ProB

15:0415:04, 8 July 2021 diff hist −26‎ m Running ProB from source ‎ →‎Running ProB Tests with SWI-Prolog
15:0315:03, 8 July 2021 diff hist −18‎ Running ProB from source ‎ →‎Starting ProB with SWI-Prolog: myheap is now disabled automatically on SWI
15:0315:03, 8 July 2021 diff hist −175‎ Running ProB from source ‎ →‎Starting ProB with SWI-Prolog: Remove rlwrap - SWI natively supports line editing
15:0115:01, 8 July 2021 diff hist −6‎ Running ProB from source ‎ →‎Running ProB with SWI-Prolog
15:0015:00, 8 July 2021 diff hist +245‎ Running ProB from source ‎ →‎Running ProB with SWI-Prolog
14:5214:52, 8 July 2021 diff hist −1‎ m Running ProB from source ‎ →‎Compiling SWI Prolog
14:5214:52, 8 July 2021 diff hist 0‎ m Running ProB from source ‎ →‎Running ProB with SWI Prolog: Formatting

15:5915:59, 15 June 2021 diff hist +445‎ N Handbook/ProB Prolog Guide ‎ Created page with "__TOC__ = Running ProB from source = {{:Running ProB from source}} = Building ProB on Windows = {{:Building ProB on Windows}} = Organization of ProB Sources = {..."
15:5315:53, 15 June 2021 diff hist +146‎ N Handbook/ProB 2 Java API ‎ Created page with "= ProB Java API = {{:ProB Java API}} = Programmatic Abstractions in the ProB 2.0 API = {{:Programmatic Abstractions in the ProB 2.0 API}}" current
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

User contributions for David Geleßus

21 March 2022

10 March 2022

7 December 2021

11 August 2021

22 July 2021

8 July 2021

15 June 2021

14 June 2021

18 May 2021