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,301 edits. Account created on 18 January 2010.

10:5210:52, 24 June 2022 diff hist +976 The ProB Animator and Model Checker →Versions of ProB

11:3111:31, 23 June 2022 diff hist −105 Caching Constants and Operations →Example current
11:3011:30, 23 June 2022 diff hist −129 Caching Constants and Operations →Example
11:2411:24, 23 June 2022 diff hist +64 Caching Constants and Operations No edit summary

15:0415:04, 3 June 2022 diff hist +18 Debugging →Debugging Constant Size
15:0215:02, 3 June 2022 diff hist +134 Debugging →Debugging Constant Size
15:0115:01, 3 June 2022 diff hist +15 Debugging →Debugging Constant Size
15:0015:00, 3 June 2022 diff hist +2,952 Debugging →Debugging Constant Size =
14:5314:53, 3 June 2022 diff hist +2,281 Debugging →Debugging Constants Setup
14:4614:46, 3 June 2022 diff hist +800 Debugging →Debugging Constants Setup
13:5713:57, 3 June 2022 diff hist +228 Debugging →Debugging Constants Setup

11:0911:09, 24 May 2022 diff hist +304 Links →Testimonials
11:0611:06, 24 May 2022 diff hist 0 Links →Testimonials
11:0611:06, 24 May 2022 diff hist +583 Links →Testimonials

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

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

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

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

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

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

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

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

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

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