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.

08:3108:31, 8 June 2024 diff hist +1 Summary of B Syntax →Numbers:
08:3008:30, 8 June 2024 diff hist +116 Summary of B Syntax →Reals:
08:3008:30, 8 June 2024 diff hist 0 Summary of B Syntax →Sets:
08:2908:29, 8 June 2024 diff hist +24 Summary of B Syntax →Sets:
08:2808:28, 8 June 2024 diff hist −9 Summary of B Syntax →Sets:
08:2708:27, 8 June 2024 diff hist +47 Summary of B Syntax →Sets:
08:2708:27, 8 June 2024 diff hist +41 Summary of B Syntax →Relations:

14:4714:47, 5 June 2024 diff hist +159 Debugging →Profiling
14:4514:45, 5 June 2024 diff hist +129 Debugging →Profiling
14:3314:33, 5 June 2024 diff hist +319 Debugging →Debugging Constant Size

11:1411:14, 3 June 2024 diff hist −146 Summary of B Syntax →Strings:
11:0711:07, 3 June 2024 diff hist 0 N File:EventB-summary.pdf No edit summary current
11:0711:07, 3 June 2024 diff hist +25 Summary of B Syntax →Summary of B Syntax
11:0611:06, 3 June 2024 diff hist +359 Summary of B Syntax →Summary of B Syntax
10:5010:50, 3 June 2024 diff hist +26 Summary of B Syntax →Summary of B Syntax
10:4910:49, 3 June 2024 diff hist +152 Summary of B Syntax →Summary of B Syntax
10:4810:48, 3 June 2024 diff hist 0 N File:B-summary.pdf No edit summary current
10:4810:48, 3 June 2024 diff hist +94 Summary of B Syntax No edit summary
10:4410:44, 3 June 2024 diff hist +14 Summary of B Syntax →Sequences:

12:1312:13, 24 April 2024 diff hist +188 B2SAT →B2SAT for TLA+, Z and Alloy current
10:5910:59, 24 April 2024 diff hist +340 B2SAT →B2SAT for TLA+, Z and Alloy
10:5710:57, 24 April 2024 diff hist +2,015 B2SAT No edit summary
07:4107:41, 24 April 2024 diff hist +43 B2SAT →B2SAT in the REPL
07:4007:40, 24 April 2024 diff hist +2 B2SAT →B2SAT in Jupyter Notebooks
07:4007:40, 24 April 2024 diff hist +73 B2SAT →B2SAT in Jupyter Notebooks
07:3807:38, 24 April 2024 diff hist 0 B2SAT No edit summary
07:3807:38, 24 April 2024 diff hist −125 B2SAT No edit summary
07:3507:35, 24 April 2024 diff hist 0 N File:IceCreamCoverage.png No edit summary current
07:3507:35, 24 April 2024 diff hist +44 B2SAT No edit summary
07:3407:34, 24 April 2024 diff hist −89 B2SAT →B2SAT for PROPERTIES
07:3207:32, 24 April 2024 diff hist 0 B2SAT →B2SAT for PROPERTIES
07:3107:31, 24 April 2024 diff hist +6 B2SAT →B2SAT for PROPERTIES
07:3007:30, 24 April 2024 diff hist 0 B2SAT No edit summary
07:2807:28, 24 April 2024 diff hist +96 B2SAT →B2SAT for PROPERTIES
07:2807:28, 24 April 2024 diff hist +343 B2SAT →B2SAT for PROPERTIES
07:1407:14, 24 April 2024 diff hist −48 Download →Latest Beta Release

13:4513:45, 23 April 2024 diff hist −4 B2SAT No edit summary
13:4413:44, 23 April 2024 diff hist +1,046 B2SAT No edit summary
13:4013:40, 23 April 2024 diff hist +236 B2SAT →B2SAT in Jupyter Notebooks
13:3913:39, 23 April 2024 diff hist +94 B2SAT →B2SAT in Jupyter Notebooks
13:3813:38, 23 April 2024 diff hist 0 N File:JupyterSolveSat.png No edit summary current
13:3813:38, 23 April 2024 diff hist +42 B2SAT →B2SAT in Jupyter Notebooks
13:3713:37, 23 April 2024 diff hist 0 N File:JupypterOpt3.png No edit summary current
13:3713:37, 23 April 2024 diff hist 0 N File:JupypterOpt2.png No edit summary current
13:3713:37, 23 April 2024 diff hist 0 N File:JupypterOpt1.png No edit summary current
13:3713:37, 23 April 2024 diff hist +121 B2SAT No edit summary
13:3313:33, 23 April 2024 diff hist −30 B2SAT →B2SAT for PROPERTIES
13:3313:33, 23 April 2024 diff hist +63 B2SAT →B2SAT for PROPERTIES
11:4811:48, 23 April 2024 diff hist −54 B2SAT →B2SAT for PROPERTIES
11:4711:47, 23 April 2024 diff hist 0 B2SAT →B2SAT for PROPERTIES

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