User contributions for Michael Leuschel - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

Results for Michael Leuschel talk block log uploads logs

A user with 3,295 edits. Account created on 18 January 2010.

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

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

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

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

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+

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

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

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

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

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
08:5908:59, 8 January 2022 diff hist −2 VisB →Replication / Loops
08:5808:58, 8 January 2022 diff hist +293 VisB →Replication / Loops
08:5408:54, 8 January 2022 diff hist +1,370 VisB →VisB Definitions

08:0708:07, 30 December 2021 diff hist +8 Download →Editor Support
08:0508:05, 30 December 2021 diff hist +223 Download →Editor Support
08:0308:03, 30 December 2021 diff hist −25 Download →ProB for Rodin
07:5807:58, 30 December 2021 diff hist +1 Download →Latest Release
07:5707:57, 30 December 2021 diff hist +1 Download →Latest Release
07:5707:57, 30 December 2021 diff hist +156 Download →Latest Release
07:5207:52, 30 December 2021 diff hist +89 Download →Latest Release

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Michael_Leuschel"