User contributions for David Geleßus

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