User contributions for David Geleßus - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for David Geleßus

Results for David Geleßus talk block log uploads logs

A user with 208 edits. Account created on 27 January 2021.

10:1710:17, 18 June 2025 diff hist −2,839 JSON and Sockets Link to complete cf-srv now that it is public, instead of including just the B machine inline
10:0310:03, 18 June 2025 diff hist +143 JSON and Sockets Use consistent terminology for plain TCP sockets and clarify that they use the NDJSON protocol
09:4609:46, 18 June 2025 diff hist −541 JSON and Sockets →JSON-RPC Library
09:4309:43, 18 June 2025 diff hist +16 m JSON and Sockets No edit summary

13:1913:19, 17 June 2025 diff hist +104 Bugs →Console Output: mention console Start Menu entry on Windows
13:1713:17, 17 June 2025 diff hist 0 m Bugs No edit summary

10:3410:34, 20 February 2025 diff hist −2 Download →ProB2-UI (based on JavaFX): Update ProB 2 UI Debian snapshot download link
10:3310:33, 20 February 2025 diff hist +1 m The ProB Animator and Model Checker No edit summary current

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

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/David_Geleßus"