User contributions for Michael Leuschel

27 January 2021

• 13:1213:12, 27 January 2021 diff hist +20 Links →Related Tools

26 January 2021

• 18:1218:12, 26 January 2021 diff hist +107 Bugs No edit summary
• 16:0516:05, 26 January 2021 diff hist +24 Download →ProB2 UI using Java FX
• 14:5114:51, 26 January 2021 diff hist +2 Download →ProB2 UI using Java FX
• 14:3214:32, 26 January 2021 diff hist +106 Download →ProB2 UI using Java FX
• 14:2814:28, 26 January 2021 diff hist −26 Download →ProB2 UI using Java FX
• 13:5713:57, 26 January 2021 diff hist −37 Links No edit summary
• 13:5513:55, 26 January 2021 diff hist −8 Download →Sourcecode
• 13:5013:50, 26 January 2021 diff hist +16 Bugs No edit summary
• 13:4613:46, 26 January 2021 diff hist −75 User Manual No edit summary
• 13:4413:44, 26 January 2021 diff hist −37 TLA No edit summary
• 11:5211:52, 26 January 2021 diff hist −124 Download →ProB2 UI using Java FX
• 11:1811:18, 26 January 2021 diff hist +24 ProB2-UI No edit summary
• 11:1711:17, 26 January 2021 diff hist −33 ProB2-UI No edit summary
• 11:1511:15, 26 January 2021 diff hist +149 ProB2-UI No edit summary
• 11:0611:06, 26 January 2021 diff hist −1 Download →ProB2 UI using Java FX
• 11:0611:06, 26 January 2021 diff hist −3 Download →ProB2 UI using Java FX
• 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

22 January 2021

• 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

13 January 2021

• 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