User contributions for Michael Leuschel

24 May 2022

• 11:0611:06, 24 May 2022 diff hist 0‎ Links ‎ →‎Testimonials
• 11:0611:06, 24 May 2022 diff hist +583‎ Links ‎ →‎Testimonials

25 April 2022

• 11:2711:27, 25 April 2022 diff hist 0‎ Download ‎ →‎Latest Beta Release

15 April 2022

• 08:2608:26, 15 April 2022 diff hist −8‎ Template:ProBSourceCode ‎No edit summary

12 April 2022

• 07:4707:47, 12 April 2022 diff hist −1‎ Download ‎ →‎Latest Release
• 07:4607:46, 12 April 2022 diff hist +37‎ Download ‎ →‎Latest Release
• 07:4507:45, 12 April 2022 diff hist −186‎ Download ‎ →‎Java Requirements for B parser
• 07:4207:42, 12 April 2022 diff hist +163‎ Download ‎ →‎Java Requirements for B parser

29 March 2022

• 07:5907:59, 29 March 2022 diff hist +99‎ Links ‎ →‎Tools using ProB

25 March 2022

• 09:0409:04, 25 March 2022 diff hist −14‎ VisB ‎ →‎Debugging and HTML Export
• 09:0309:03, 25 March 2022 diff hist +314‎ VisB ‎ →‎Debugging and HTML Export
• 06:3106:31, 25 March 2022 diff hist +66‎ VisB ‎ →‎Debugging and HTML Export
• 06:2606:26, 25 March 2022 diff hist +2‎ VisB ‎ →‎Debugging and HTML Export
• 06:2506:25, 25 March 2022 diff hist 0‎ File:ProB2UI VisB View Export.png ‎ Michael Leuschel uploaded a new version of File:ProB2UI VisB View Export.png current
• 06:2306:23, 25 March 2022 diff hist 0‎ N File:ProB2UI VisB Debug Table View.png ‎No edit summary current
• 06:2306:23, 25 March 2022 diff hist 0‎ N File:ProB2UI VisB View Export.png ‎No edit summary
• 06:2106:21, 25 March 2022 diff hist +3‎ VisB ‎ →‎Tips and Tricks
• 06:2006:20, 25 March 2022 diff hist +228‎ VisB ‎No edit summary
• 06:1906:19, 25 March 2022 diff hist +973‎ VisB ‎ →‎Tips and Tricks
• 06:0806:08, 25 March 2022 diff hist +123‎ VisB ‎ →‎Tips and Tricks
• 06:0606:06, 25 March 2022 diff hist +312‎ VisB ‎ →‎Tips and Tricks

24 March 2022

• 06:5506:55, 24 March 2022 diff hist 0‎ Download ‎ →‎Latest Beta Release
• 06:5306:53, 24 March 2022 diff hist +186‎ LTSmin ‎ →‎LTSmin Extension of ProB current

23 March 2022

• 07:4707:47, 23 March 2022 diff hist +9‎ LTSmin ‎ →‎LTSmin Extension of ProB

17 March 2022

• 09:1709:17, 17 March 2022 diff hist +94‎ Download ‎ →‎ProB2-UI using Java FX

16 March 2022

• 10:4610:46, 16 March 2022 diff hist +170‎ Download ‎ →‎ProB2-UI using Java FX

11 March 2022

• 11:5711:57, 11 March 2022 diff hist +84‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
• 11:5611:56, 11 March 2022 diff hist +73‎ Using ProB with Atelier B ‎ →‎Extra Features of ProB
• 09:1809:18, 11 March 2022 diff hist +321‎ External Functions ‎ →‎Standard Libraries provided by ProB
• 09:1509:15, 11 March 2022 diff hist +622‎ External Functions ‎ →‎Standard Libraries provided by ProB

4 March 2022

• 11:0211:02, 4 March 2022 diff hist 0‎ File:DisproverProB2UIStateView2.png ‎ Michael Leuschel uploaded a new version of File:DisproverProB2UIStateView2.png current
• 11:0111:01, 4 March 2022 diff hist −41‎ Tutorial Disprover ‎ →‎Example
• 09:3209:32, 4 March 2022 diff hist +38‎ Tutorial Disprover ‎ →‎Example
• 09:3109:31, 4 March 2022 diff hist 0‎ N File:DisproverExportExample.png ‎No edit summary current
• 09:3109:31, 4 March 2022 diff hist +41‎ Tutorial Disprover ‎ →‎Example
• 09:2909:29, 4 March 2022 diff hist +455‎ Tutorial Disprover ‎No edit summary
• 09:2609:26, 4 March 2022 diff hist 0‎ N File:DisproverProB2UIStateView2.png ‎No edit summary
• 09:2609:26, 4 March 2022 diff hist 0‎ N File:DisproverProB2UIStateView1.png ‎No edit summary current
• 09:2609:26, 4 March 2022 diff hist 0‎ N File:CBCStaticAssertionCheck.png ‎No edit summary current
• 09:2509:25, 4 March 2022 diff hist +122‎ Tutorial Disprover ‎No edit summary
• 09:2109:21, 4 March 2022 diff hist +1,142‎ Tutorial Disprover ‎ →‎Preferences
• 09:0409:04, 4 March 2022 diff hist +434‎ Tutorial Disprover ‎ →‎Preferences
• 08:4408:44, 4 March 2022 diff hist +161‎ Tutorial Disprover ‎ →‎Preferences
• 08:4208:42, 4 March 2022 diff hist 0‎ N File:DisproverPrefs.png ‎No edit summary current
• 08:4208:42, 4 March 2022 diff hist +106‎ Tutorial Disprover ‎No edit summary
• 08:3808:38, 4 March 2022 diff hist −1‎ Tutorial Disprover ‎ →‎WARNING
• 08:3708:37, 4 March 2022 diff hist +318‎ Tutorial Disprover ‎ →‎WARNING

8 February 2022

• 13:3913:39, 8 February 2022 diff hist +164‎ Template:ProBSourceCode ‎No edit summary

7 February 2022

• 08:5308:53, 7 February 2022 diff hist +11‎ VisB ‎ →‎VisB Definitions
• 08:5208:52, 7 February 2022 diff hist +88‎ VisB ‎No edit summary