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 220 edits. Account created on 27 January 2021.

13:4013:40, 23 January 2026 diff hist −133 Download →ProB2-UI (based on JavaFX): Removed link to snapshot version of multi-platform jar, which is not built anymore

13:1013:10, 22 January 2026 diff hist +770 Download →ProB2-UI (based on JavaFX)
12:3212:32, 22 January 2026 diff hist −2 m Download →Latest Release
12:3212:32, 22 January 2026 diff hist +63 Download →Latest Beta Release: Commented out, because the last beta release is multiple versions out of date
12:3012:30, 22 January 2026 diff hist +81 Download →Latest Release: Reworded architecture explanation
12:1712:17, 22 January 2026 diff hist −15 Download →ProB2-UI (based on JavaFX): Update links for ProB2-UI 1.3.1

15:5915:59, 9 January 2026 diff hist +31 Download →Java Requirements for B Parser: Announce that ProB will require Java 17 at some point
15:5315:53, 9 January 2026 diff hist +10 m Download →Editor Support: Spelling

16:5116:51, 16 December 2025 diff hist +1 m Sefm2015 →Summaries: Fix the other link too current
16:4916:49, 16 December 2025 diff hist +1 m Sefm2015 →Summaries: Fix link

13:3513:35, 30 July 2025 diff hist −116 Download →ProB2-UI (based on JavaFX): Version 1.3.0 released
12:0912:09, 30 July 2025 diff hist 0 m Download →ProB2-UI (based on JavaFX): 1.2.2-SNAPSHOT -> 1.3.0-SNAPSHOT

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

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

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

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