User contributions for Michael Leuschel

5 April 2023

• 13:3413:34, 5 April 2023 diff hist −17‎ Download ‎ →‎Latest Release
• 13:3313:33, 5 April 2023 diff hist +9‎ Download ‎No edit summary
• 13:3213:32, 5 April 2023 diff hist 0‎ Download ‎ →‎ProB for Rodin
• 13:3113:31, 5 April 2023 diff hist −2‎ Download ‎ →‎ProB for Rodin
• 13:3013:30, 5 April 2023 diff hist +4‎ Download ‎ →‎Latest Release
• 13:3013:30, 5 April 2023 diff hist +18‎ Download ‎ →‎Latest Release
• 13:2913:29, 5 April 2023 diff hist +72‎ Download ‎ →‎Latest Release
• 13:2713:27, 5 April 2023 diff hist −494‎ Download ‎No edit summary
• 13:1713:17, 5 April 2023 diff hist −1‎ Download ‎ →‎Tcl/Tk on macOS
• 13:1613:16, 5 April 2023 diff hist +23‎ Download ‎ →‎Tcl/Tk on macOS
• 13:1613:16, 5 April 2023 diff hist +11‎ Download ‎ →‎Tcl/Tk on macOS
• 11:3911:39, 5 April 2023 diff hist −1‎ Download ‎ →‎Latest Release
• 11:3911:39, 5 April 2023 diff hist −1‎ Download ‎ →‎Latest Release
• 11:3811:38, 5 April 2023 diff hist +141‎ Download ‎ →‎Latest Release
• 07:3207:32, 5 April 2023 diff hist +1,504‎ DownloadPriorVersions ‎No edit summary

22 March 2023

• 13:0313:03, 22 March 2023 diff hist +665‎ Using ProB with Atelier B ‎ →‎Differences
• 12:5412:54, 22 March 2023 diff hist +2‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
• 12:5312:53, 22 March 2023 diff hist +164‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
• 12:5112:51, 22 March 2023 diff hist +92‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
• 12:4612:46, 22 March 2023 diff hist +8‎ Using ProB with Atelier B ‎No edit summary