User contributions for David Geleßus

15 August 2023

• 14:1814:18, 15 August 2023 diff hist 0‎ m Download ‎ →‎ProB2-UI current
• 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

14 August 2023

• 16:5516:55, 14 August 2023 diff hist +11‎ m The ProB Animator and Model Checker ‎No edit summary current
• 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

11 August 2023

• 10:3010:30, 11 August 2023 diff hist −10‎ m DownloadPriorVersions ‎No edit summary current
• 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

1 August 2023

• 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

22 June 2023

• 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

20 June 2023

• 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

4 May 2023

• 15:1615:16, 4 May 2023 diff hist −5‎ m Download ‎ →‎Java Requirements for B parser