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.

11:0511:05, 26 January 2021 diff hist 0 Download →ProB2 UI using Java FX
11:0411:04, 26 January 2021 diff hist +2 Download →ProB2 UI using Java FX
11:0411:04, 26 January 2021 diff hist +1 Download →ProB2 UI using Java FX
09:2009:20, 26 January 2021 diff hist −149 Download →ProB2 UI using Java FX
09:1909:19, 26 January 2021 diff hist −4 Download →ProB2 UI using Java FX
09:1909:19, 26 January 2021 diff hist −3 Download →ProB2 UI using Java FX
09:1709:17, 26 January 2021 diff hist −1 Download →ProB2 UI using Java FX
09:1609:16, 26 January 2021 diff hist +21 Download →ProB2 UI using Java FX
09:1609:16, 26 January 2021 diff hist −455 Download →ProB2 UI using Java FX
09:1109:11, 26 January 2021 diff hist +2 Download →ProB2 UI using Java FX

10:1210:12, 22 January 2021 diff hist −6 Download →Latest Release
10:1210:12, 22 January 2021 diff hist +1 Download →Latest Release
10:1110:11, 22 January 2021 diff hist −6 Download →Latest Release
10:1010:10, 22 January 2021 diff hist +38 Download →Latest Release
10:0810:08, 22 January 2021 diff hist +1,827 DownloadPriorVersions No edit summary

10:3710:37, 13 January 2021 diff hist +779 Running ProB from source →ProB Prolog compile time flags
10:3010:30, 13 January 2021 diff hist +683 Prolog Coding Guidelines →Git
10:0810:08, 13 January 2021 diff hist −37 Prolog Coding Guidelines →Useful Bash Aliases
10:0110:01, 13 January 2021 diff hist +271 Running ProB from source →Building ProB Extensions
09:5309:53, 13 January 2021 diff hist 0 Running ProB from source No edit summary
09:5209:52, 13 January 2021 diff hist +115 Running ProB from source →Building ProB Extensions
09:4909:49, 13 January 2021 diff hist +129 Running ProB from source No edit summary
09:4609:46, 13 January 2021 diff hist −3 Running ProB from source →Running ProB from Prolog
09:4509:45, 13 January 2021 diff hist −10 Running ProB from source No edit summary
09:4409:44, 13 January 2021 diff hist −415 Running ProB from source No edit summary
09:3809:38, 13 January 2021 diff hist +19 Running ProB from source →Starting probcli command-line version
09:3809:38, 13 January 2021 diff hist +44 Running ProB from source No edit summary
09:3709:37, 13 January 2021 diff hist +265 Running ProB from source No edit summary
09:3209:32, 13 January 2021 diff hist +54 Running ProB from source →Running ProB from Prolog
09:0009:00, 13 January 2021 diff hist +50 Running ProB from source →Running ProB from Prolog
08:5908:59, 13 January 2021 diff hist −1,069 Running ProB from source →Source Code
08:5808:58, 13 January 2021 diff hist −22 Template:ProBSourceCode No edit summary
08:5808:58, 13 January 2021 diff hist −1,159 Developer Manual No edit summary
08:5808:58, 13 January 2021 diff hist +22 Template:ProBSourceCode No edit summary
08:5708:57, 13 January 2021 diff hist +1,157 N Template:ProBSourceCode Created page with " The kernel of ProB is written in Prolog and you can download the latest Prolog sourcecode snapshot from: [http://www3.hhu.de/stups/downloads/prob/source/ http://www3.hhu.de/..."
08:5608:56, 13 January 2021 diff hist +20 Developer Manual →ProB Source Code
08:5508:55, 13 January 2021 diff hist −22 Developer Manual →ProB Prolog Source Code
08:5408:54, 13 January 2021 diff hist −4,342 Getting Involved Redirected page to Running ProB from source current
08:5308:53, 13 January 2021 diff hist +39 Running ProB from source No edit summary
08:5208:52, 13 January 2021 diff hist +24 Running ProB from source →Running ProB from Prolog
08:5208:52, 13 January 2021 diff hist −29 Running ProB from source →Running ProB from Prolog
08:5108:51, 13 January 2021 diff hist +3,931 Running ProB from source No edit summary
08:5008:50, 13 January 2021 diff hist −113 Getting Involved No edit summary
08:4808:48, 13 January 2021 diff hist −276 Developer Manual No edit summary
08:4708:47, 13 January 2021 diff hist +1,183 Developer Manual No edit summary

08:5608:56, 5 January 2021 diff hist +26 The ProB Animator and Model Checker No edit summary
08:5608:56, 5 January 2021 diff hist +28 The ProB Animator and Model Checker No edit summary

17:1117:11, 29 December 2020 diff hist +1 VisB →Replication

21:2021:20, 28 December 2020 diff hist +50 VisB →Replication

16:5716:57, 27 December 2020 diff hist +3 VisB →Replication

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