User contributions for David Geleßus

14:1814:18, 15 August 2023 diff hist 0‎ m Download ‎ →‎ProB2-UI
14:1814:18, 15 August 2023 diff hist −117‎ Download ‎ →‎ProB2-UI: Update and deduplicate info about ProB Java API
14:1514:15, 15 August 2023 diff hist +188‎ Download ‎ →‎ProB2-UI: Update download links for release 1.2.1

16:5516:55, 14 August 2023 diff hist +11‎ m The ProB Animator and Model Checker ‎No edit summary
16:5416:54, 14 August 2023 diff hist 0‎ Download ‎ →‎Short Release History: AAAAAAAAAAAAAA
16:4916:49, 14 August 2023 diff hist 0‎ Download ‎ →‎Short Release History: The dates were an inconsistent mix of d/m/y and m/d/y AAAAAA I hope this is correct now
16:4516:45, 14 August 2023 diff hist +17‎ m Download ‎ →‎Short Release History

10:3010:30, 11 August 2023 diff hist −10‎ m DownloadPriorVersions ‎No edit summary
10:3010:30, 11 August 2023 diff hist +44‎ m Download ‎No edit summary
10:2710:27, 11 August 2023 diff hist −108‎ DownloadPriorVersions ‎ Remove old info about problem with Oracle Java 17 that was fixed in SICStus 4.7.1
10:2710:27, 11 August 2023 diff hist −208‎ Download ‎ Remove old info about problem with Oracle Java 17 that was fixed in SICStus 4.7.1

09:4309:43, 1 August 2023 diff hist +203‎ Download ‎ →‎macOS issues: Update instructions for opening not signed/notarized app
09:3409:34, 1 August 2023 diff hist +196‎ Download ‎ →‎ProB2-UI: Update macOS snapshot links for new Apple Silicon build

11:3611:36, 22 June 2023 diff hist +126‎ m Download ‎ →‎Editor Support
11:3411:34, 22 June 2023 diff hist −352‎ Download ‎ →‎Editor Support: Remove Atom package because Atom is dead now
10:5910:59, 22 June 2023 diff hist +124‎ Download ‎ →‎ProB2-UI: Link release history
10:5810:58, 22 June 2023 diff hist −150‎ Download ‎ →‎ProB2-UI: Release 1.2.0

15:5915:59, 20 June 2023 diff hist −2,396‎ ProB2-UI Release History ‎ Redirected page to ProB2-UI#Download current Tag: New redirect
15:5815:58, 20 June 2023 diff hist +55‎ ProB2-UI ‎ →‎Download: Release history is now in the Git repo current

15:1615:16, 4 May 2023 diff hist −5‎ m Download ‎ →‎Java Requirements for B parser
08:2508:25, 4 May 2023 diff hist +4‎ m DownloadPriorVersions ‎No edit summary
08:2508:25, 4 May 2023 diff hist 0‎ DownloadPriorVersions ‎ Update Java requirements for ProB 1.10 and newer
08:2108:21, 4 May 2023 diff hist +86‎ Download ‎ Update Java requirements

12:5412:54, 23 February 2023 diff hist −10‎ ABZ14 ‎ Update links current
12:5012:50, 23 February 2023 diff hist −34‎ ProjectionDiagram ‎ Update links where possible current
12:4212:42, 23 February 2023 diff hist −64‎ ProB Java API Tutorial ‎ Update links current
12:3912:39, 23 February 2023 diff hist −43‎ Tutorial Rodin First Step ‎ Update links to new server current
12:3812:38, 23 February 2023 diff hist −196‎ Tutorial Rodin First Step ‎ Remove dead BMS tutorial link
12:3712:37, 23 February 2023 diff hist +7‎ DownloadPriorVersions ‎ Update another link
12:3112:31, 23 February 2023 diff hist +40‎ BMotion Studio Download ‎ Update download links to new server current
12:2812:28, 23 February 2023 diff hist −46‎ Template:ProBSourceCode ‎ Update download link to new server current
12:2712:27, 23 February 2023 diff hist +4‎ Download ‎ Update another link
12:2512:25, 23 February 2023 diff hist +234‎ DownloadPriorVersions ‎ Update links to new server
12:2212:22, 23 February 2023 diff hist +57‎ Download ‎ Update links to new server

12:3412:34, 2 February 2023 diff hist 0‎ m Bash Completion ‎No edit summary current
12:3312:33, 2 February 2023 diff hist +115‎ Bash Completion ‎ Update links

15:1915:19, 18 November 2022 diff hist +254‎ User Manual ‎ Link to single-page handbook current
15:1615:16, 18 November 2022 diff hist −266‎ User Manual ‎ Remove "new" handbook link - currently only contains ProB 2 developer docs
14:3914:39, 18 November 2022 diff hist −20‎ m Adding to an existing menu ‎ Update homepage link current
14:3814:38, 18 November 2022 diff hist −63‎ m User Manual ‎ Update homepage link
13:1913:19, 18 November 2022 diff hist −79‎ m Tutorial Enabling Analysis ‎ Use wikilinks instead of URLs current

12:2912:29, 17 November 2022 diff hist −3‎ m Full Handbook ‎No edit summary current
12:2812:28, 17 November 2022 diff hist +105‎ Handbook ‎ Link to single-page version current
12:2712:27, 17 November 2022 diff hist +1,620‎ N Full Handbook ‎ Created page with "This page lets you read the wiki content in a more traditional '''handbook''' format, with all wiki pages combined into a single page for easier reading. See Handbook for..."

09:3809:38, 4 July 2022 diff hist 0‎ m Team ‎ ß current

08:4708:47, 17 June 2022 diff hist −12‎ m Tutorial Complete Model Checking ‎No edit summary current

10:1110:11, 25 March 2022 diff hist +462‎ Download ‎ →‎ProB2-UI: Added better links to snapshot builds

15:3515:35, 24 March 2022 diff hist −64‎ Handbook/ProB Prolog Guide ‎ Removed obsolete Windows build instructions current
15:3515:35, 24 March 2022 diff hist −2,505‎ Building ProB on Windows ‎ Replaced by new documentation in source repo current Tag: Replaced
08:2108:21, 24 March 2022 diff hist +2‎ m Installation ‎ Moved category to bottom current
08:2008:20, 24 March 2022 diff hist −1,039‎ Installation ‎ Removed list of ProB versions that mostly just duplicates the homepage
08:1308:13, 24 March 2022 diff hist −59‎ Download ‎ →‎Latest Beta Release

17:4717:47, 21 March 2022 diff hist +453‎ Download ‎ →‎ProB Jupyter Kernel
17:0517:05, 21 March 2022 diff hist −2,079‎ DownloadPriorVersions ‎ Updated all tables to not broken styles
16:5516:55, 21 March 2022 diff hist +126‎ Download ‎ →‎Latest Release: Also added wikitable class so the table looks good with standard MediaWiki skins
16:5416:54, 21 March 2022 diff hist −156‎ Download ‎ →‎Latest Release: Added Bootstrap table classes to have actual spacing and borders in the table
16:4116:41, 21 March 2022 diff hist −38‎ m Download ‎ →‎Latest Release: Removed nbsps from table header to hopefully fix weird vertical alignment
16:3916:39, 21 March 2022 diff hist −841‎ Download ‎ Made sections a bit more organized (hopefully) - there are now two major sections: one for ProB Tcl/Tk and probcli, and one for all the other tools
16:1816:18, 21 March 2022 diff hist −173‎ Download ‎ →‎Latest Beta Release: Removed dead link to notarized nightly build - regular releases are now notarized
16:0816:08, 21 March 2022 diff hist −9‎ m Download ‎ →‎Latest Release: Removed "64 bit" from Download column - it's all 64-bit now
16:0216:02, 21 March 2022 diff hist −74‎ Download ‎ Consolidated Tcl/Tk version requirements and downloads
15:3915:39, 21 March 2022 diff hist −309‎ Download ‎ →‎Java Requirements for B parser: Removed Windows error that no longer applies - every Java installer has required admin rights for years now
15:3715:37, 21 March 2022 diff hist −4,092‎ DownloadPriorVersions ‎ Removed all Java download links - Oracle Java is bad and AdoptOpenJDK is no longer updated
15:2515:25, 21 March 2022 diff hist 0‎ Download ‎ →‎Latest Release: Updated macOS version requirement - SICStus 4.6 requires macOS 10.14
15:2315:23, 21 March 2022 diff hist +377‎ Download ‎ →‎Latest Release: Clarified architecture support
15:1515:15, 21 March 2022 diff hist −129‎ m Download ‎ →‎Latest Release
15:1415:14, 21 March 2022 diff hist −31‎ m Download ‎ →‎Latest Release: Formatting
15:1115:11, 21 March 2022 diff hist +23‎ Download ‎ Removed all Oracle Java links, added recommendation to not use it because of the new license
12:4912:49, 21 March 2022 diff hist −1‎ m Running ProB from source ‎ Moved category to bottom
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
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
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

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 current
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
16:3916:39, 3 February 2021 diff hist −228‎ ProB Java API ‎ Remove broken custom formatting around documentation links
16:0516:05, 3 February 2021 diff hist −54‎ Tutorial Unit Plugin With Rodin ‎ Update installation screencast link current
15:5615:56, 3 February 2021 diff hist −149‎ Troubleshooting ‎ Replace outdated Java requirements with link to info on download page current
15:5015:50, 3 February 2021 diff hist +150‎ Troubleshooting ‎ Add missing troubleshooting item from prob2-doc
15:4815:48, 3 February 2021 diff hist −120‎ Bugs ‎ Reduce scope of custom HTML to just the JIRA bug report link (where it's actually needed) current
15:4215:42, 3 February 2021 diff hist −20‎ ProB Release History ‎ Remove incorrect version number in lead (it's obvious from the changelog what the latest version is)
15:4115:41, 3 February 2021 diff hist −30‎ Links ‎ Fix publications link
15:3115:31, 3 February 2021 diff hist +13‎ ABZ16 ‎ Fix Rodin Handbook link
15:3015:30, 3 February 2021 diff hist −260‎ Sefm2015 ‎ Update links current
15:2815:28, 3 February 2021 diff hist −144‎ FormalPrototyping ‎ Update some links current
15:2715:27, 3 February 2021 diff hist −76‎ ABZ16 ‎ Update some links
15:2615:26, 3 February 2021 diff hist −57‎ ABZ14 ‎ Update some links
15:2215:22, 3 February 2021 diff hist −3‎ Jens Bendisposto:Conferences ‎ Update FTSCS link current
13:5613:56, 3 February 2021 diff hist −47‎ The Jobs Puzzle ‎ Update link to ProB Logic Calculator current
13:5413:54, 3 February 2021 diff hist −3‎ Rush Hour XTL ‎ Update Wikipedia link current
13:5313:53, 3 February 2021 diff hist −3‎ Rush Hour Puzzle ‎ Update Wikipedia link current
13:4913:49, 3 February 2021 diff hist +1‎ Nine Prisoners ‎ Update Quanta Magazine link current
13:4013:40, 3 February 2021 diff hist +75‎ Gilbreath Card Trick ‎ Update some links current
13:3013:30, 3 February 2021 diff hist −42‎ m Siemens Data Validation with ProB ‎ Fix publication links current
13:2913:29, 3 February 2021 diff hist −14‎ Blocks World (Directed Model Checking) ‎ Fix PDF link in reference current

User contributions for David Geleßus

15 August 2023

14 August 2023

11 August 2023

1 August 2023

22 June 2023

20 June 2023

4 May 2023

23 February 2023

2 February 2023

18 November 2022

17 November 2022

4 July 2022

17 June 2022

25 March 2022

24 March 2022

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

4 February 2021

3 February 2021