User contributions for David Geleßus

4 May 2023

• 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

23 February 2023

• 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

2 February 2023

• 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

18 November 2022

• 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