Toggle navigation
Components
ProB Cli
ProB Tcl/Tk
ProB Java API
BMotionWeb
ProB for Rodin
ProB for TLA
Documentation
ProB Tcl/Tk
BMotionWeb
ProB Java API
Download
Bugs
Links
Team
Navigation
Main Page
User Manual
Tutorials
Developer Manual
Benchmarks
Licence
Logic Calculator
Special Pages
Recent changes
User
Log in
Go
Search
Help
User contributions for Michael Leuschel
For
Michael Leuschel
talk
block log
uploads
logs
Search for contributions
Expand
Collapse
⧼contribs-top⧽
IP address or username:
Namespace:
all
(Main)
Talk
User
User talk
ProB Documentation
ProB Documentation talk
File
File talk
MediaWiki
MediaWiki talk
Template
Template talk
Help
Help talk
Category
Category talk
Invert selection
Associated namespace
Tag
filter:
Manual revert
New redirect
Replaced
Reverted
Only show edits that are latest revisions
Only show edits that are page creations
Hide minor edits
⧼contribs-date⧽
From date:
To date:
Search
(
newest
|
oldest
) View (
newer 50
|
older 50
) (
20
|
50
|
100
|
250
|
500
)
18 September 2024
08:53
08:53, 18 September 2024
diff
hist
−35
Generating UML Sequence Charts
→Installation and Using
08:52
08:52, 18 September 2024
diff
hist
+486
Generating UML Sequence Charts
→Installation and Using
12 September 2024
07:16
07:16, 12 September 2024
diff
hist
−1
TLA
→Visualisation
current
07:16
07:16, 12 September 2024
diff
hist
+2,640
TLA
→Visualisation
07:14
07:14, 12 September 2024
diff
hist
+27
TLA
→Visualisation
07:11
07:11, 12 September 2024
diff
hist
+1,927
TLA
→Visualisation
07:08
07:08, 12 September 2024
diff
hist
+17
TLA
→Visualisation
07:07
07:07, 12 September 2024
diff
hist
+4
TLA
→Visualisation
06:59
06:59, 12 September 2024
diff
hist
+448
TLA
No edit summary
06:57
06:57, 12 September 2024
diff
hist
+42
VisB
→Examples
current
5 September 2024
07:43
07:43, 5 September 2024
diff
hist
−20
Links
→Testimonials
07:42
07:42, 5 September 2024
diff
hist
+1
Links
→Testimonials
07:42
07:42, 5 September 2024
diff
hist
0
Links
→Testimonials
07:42
07:42, 5 September 2024
diff
hist
+389
Links
→Testimonials
07:37
07:37, 5 September 2024
diff
hist
+1,048
Links
→Testimonials
2 September 2024
07:32
07:32, 2 September 2024
diff
hist
+202
Debugging
→Profiling
16 August 2024
12:12
12:12, 16 August 2024
diff
hist
+128
The ProB Animator and Model Checker
→Features
current
9 July 2024
09:45
09:45, 9 July 2024
diff
hist
+174
TLC
→More Information
09:44
09:44, 9 July 2024
diff
hist
−157
TLC
→Translation from B to TLA+
09:44
09:44, 9 July 2024
diff
hist
+256
TLC
→Translation from B to TLA+
1 July 2024
10:31
10:31, 1 July 2024
diff
hist
−227
Download
→Prior Versions
Tag
:
Manual revert
10:31
10:31, 1 July 2024
diff
hist
+225
DownloadPriorVersions
No edit summary
current
10:31
10:31, 1 July 2024
diff
hist
+227
Download
→Prior Versions
Tag
:
Reverted
10:30
10:30, 1 July 2024
diff
hist
−226
Download
→ProB for Rodin
13 June 2024
11:03
11:03, 13 June 2024
diff
hist
+2
Summary of B Syntax
→Sequences:
11:02
11:02, 13 June 2024
diff
hist
+27
Summary of B Syntax
→Functions:
8 June 2024
08:41
08:41, 8 June 2024
diff
hist
−71
Summary of B Syntax
→Strings:
08:41
08:41, 8 June 2024
diff
hist
+273
Summary of B Syntax
→Strings:
08:37
08:37, 8 June 2024
diff
hist
+31
Summary of B Syntax
→Definitions:
08:34
08:34, 8 June 2024
diff
hist
+329
Summary of B Syntax
→Definitions:
08:31
08:31, 8 June 2024
diff
hist
+1
Summary of B Syntax
→Numbers:
08:30
08:30, 8 June 2024
diff
hist
+116
Summary of B Syntax
→Reals:
08:30
08:30, 8 June 2024
diff
hist
0
Summary of B Syntax
→Sets:
08:29
08:29, 8 June 2024
diff
hist
+24
Summary of B Syntax
→Sets:
08:28
08:28, 8 June 2024
diff
hist
−9
Summary of B Syntax
→Sets:
08:27
08:27, 8 June 2024
diff
hist
+47
Summary of B Syntax
→Sets:
08:27
08:27, 8 June 2024
diff
hist
+41
Summary of B Syntax
→Relations:
5 June 2024
14:47
14:47, 5 June 2024
diff
hist
+159
Debugging
→Profiling
14:45
14:45, 5 June 2024
diff
hist
+129
Debugging
→Profiling
14:33
14:33, 5 June 2024
diff
hist
+319
Debugging
→Debugging Constant Size
3 June 2024
11:14
11:14, 3 June 2024
diff
hist
−146
Summary of B Syntax
→Strings:
11:07
11:07, 3 June 2024
diff
hist
0
N
File:EventB-summary.pdf
No edit summary
current
11:07
11:07, 3 June 2024
diff
hist
+25
Summary of B Syntax
→Summary of B Syntax
11:06
11:06, 3 June 2024
diff
hist
+359
Summary of B Syntax
→Summary of B Syntax
10:50
10:50, 3 June 2024
diff
hist
+26
Summary of B Syntax
→Summary of B Syntax
10:49
10:49, 3 June 2024
diff
hist
+152
Summary of B Syntax
→Summary of B Syntax
10:48
10:48, 3 June 2024
diff
hist
0
N
File:B-summary.pdf
No edit summary
current
10:48
10:48, 3 June 2024
diff
hist
+94
Summary of B Syntax
No edit summary
10:44
10:44, 3 June 2024
diff
hist
+14
Summary of B Syntax
→Sequences:
24 April 2024
12:13
12:13, 24 April 2024
diff
hist
+188
B2SAT
→B2SAT for TLA+, Z and Alloy
current
(
newest
|
oldest
) View (
newer 50
|
older 50
) (
20
|
50
|
100
|
250
|
500
)