User contributions for David Geleßus

24 March 2022

• 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

21 March 2022

• 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

10 March 2022

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

7 December 2021

• 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

11 August 2021

• 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

22 July 2021

• 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

8 July 2021

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

• 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