User contributions for Michael Leuschel

25 March 2022

• 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

4 February 2022

• 17:0517:05, 4 February 2022 diff hist +205‎ Template:ProBSourceCode ‎No edit summary
• 17:0317:03, 4 February 2022 diff hist +123‎ Developer Manual ‎No edit summary
• 17:0017:00, 4 February 2022 diff hist +59‎ TLC ‎ →‎Translation from B to TLA+

24 January 2022

• 08:4908:49, 24 January 2022 diff hist 0‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
• 08:4908:49, 24 January 2022 diff hist 0‎ N File:ProB AtelierB StartProB Menu.png ‎No edit summary current
• 08:4808:48, 24 January 2022 diff hist +181‎ Using ProB with Atelier B ‎ →‎ProB as Atelier B Prover

23 January 2022

• 15:3215:32, 23 January 2022 diff hist +762‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin
• 15:1615:16, 23 January 2022 diff hist −26‎ Using ProB with Atelier B ‎No edit summary
• 15:1515:15, 23 January 2022 diff hist +780‎ Using ProB with Atelier B ‎ →‎Atelier B Plugin

17 January 2022

• 12:5912:59, 17 January 2022 diff hist +150‎ Download ‎ →‎ProB2-UI using Java FX

13 January 2022

• 16:2116:21, 13 January 2022 diff hist −83‎ ProB Logic Calculator ‎No edit summary
• 15:1515:15, 13 January 2022 diff hist +21‎ Download ‎ →‎Latest Release

8 January 2022

• 09:0309:03, 8 January 2022 diff hist +18‎ VisB ‎ →‎VisB Additional SVG Objects
• 09:0209:02, 8 January 2022 diff hist +140‎ VisB ‎ →‎VisB Additional SVG Objects
• 09:0009:00, 8 January 2022 diff hist 0‎ VisB ‎ →‎VisB Additional SVG Objects