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

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

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

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

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

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