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
)
16 December 2020
11:22
11:22, 16 December 2020
diff
hist
−77
Download
→Latest Release
11:19
11:19, 16 December 2020
diff
hist
+1,793
DownloadPriorVersions
→Prior Versions of ProB
15 December 2020
07:52
07:52, 15 December 2020
diff
hist
−4
ProB's Prolog Datastructures
→Data Values
current
07:51
07:51, 15 December 2020
diff
hist
+334
ProB's Prolog Datastructures
→Data Values
07:49
07:49, 15 December 2020
diff
hist
−2
ProB's Prolog Datastructures
→AST types
07:49
07:49, 15 December 2020
diff
hist
+5
ProB's Prolog Datastructures
→AST types
07:48
07:48, 15 December 2020
diff
hist
+62
ProB's Prolog Datastructures
→AST types
07:48
07:48, 15 December 2020
diff
hist
+1
ProB's Prolog Datastructures
→AST types
07:48
07:48, 15 December 2020
diff
hist
+5
ProB's Prolog Datastructures
→AST types
07:47
07:47, 15 December 2020
diff
hist
−88
Developer Manual
→ProB Prolog Source Code
2 December 2020
10:43
10:43, 2 December 2020
diff
hist
+90
VisB
→VisB Attributes
27 November 2020
16:58
16:58, 27 November 2020
diff
hist
+135
VisB
No edit summary
16:54
16:54, 27 November 2020
diff
hist
+296
VisB
→VisB Attributes
24 November 2020
14:03
14:03, 24 November 2020
diff
hist
+43
Links
→Other Links
19 November 2020
14:20
14:20, 19 November 2020
diff
hist
+14
Summary of B Syntax
→Reals:
18 November 2020
14:14
14:14, 18 November 2020
diff
hist
+2
Using ProB with Atelier B
→Atelier B Plugin
14:14
14:14, 18 November 2020
diff
hist
+203
Using ProB with Atelier B
→Atelier B Plugin
14:02
14:02, 18 November 2020
diff
hist
+214
Using ProB with Atelier B
→Atelier B Plugin
14:00
14:00, 18 November 2020
diff
hist
+271
Using ProB with Atelier B
→Atelier B Plugin
5 November 2020
13:01
13:01, 5 November 2020
diff
hist
+948
Summary of B Syntax
→Trees:
13:00
13:00, 5 November 2020
diff
hist
+479
Summary of B Syntax
→Strings:
12:59
12:59, 5 November 2020
diff
hist
+82
Summary of B Syntax
→Numbers:
3 November 2020
15:19
15:19, 3 November 2020
diff
hist
+33
Download
→ProB2 UI using Java FX
2 November 2020
11:29
11:29, 2 November 2020
diff
hist
−2
Download
→Latest Release
11:28
11:28, 2 November 2020
diff
hist
−14
Download
→Latest Release
29 October 2020
14:12
14:12, 29 October 2020
diff
hist
+4
Using ProB with Z3
→How to install Z3 for ProB
09:13
09:13, 29 October 2020
diff
hist
+10
Download
→ProB2 UI using Java FX
09:11
09:11, 29 October 2020
diff
hist
+325
Download
→ProB2 UI using Java FX
08:55
08:55, 29 October 2020
diff
hist
+1
Download
→Latest Beta Release
08:54
08:54, 29 October 2020
diff
hist
+172
Download
→Latest Beta Release
27 October 2020
14:45
14:45, 27 October 2020
diff
hist
+83
Using ProB with Z3
→Examples
10:36
10:36, 27 October 2020
diff
hist
+24
Using ProB with Z3
→Examples
10:30
10:30, 27 October 2020
diff
hist
−9
Using ProB with Z3
→How to install Z3 for ProB
14 October 2020
08:35
08:35, 14 October 2020
diff
hist
+328
VisB
→VisB Attributes
13 October 2020
11:14
11:14, 13 October 2020
diff
hist
+1
VisB
→VisB Attributes
11:14
11:14, 13 October 2020
diff
hist
+195
VisB
→VisB Attributes
12 October 2020
14:42
14:42, 12 October 2020
diff
hist
+73
VisB
→VisB Attributes
14:41
14:41, 12 October 2020
diff
hist
−2
VisB
→VisB Attributes
14:41
14:41, 12 October 2020
diff
hist
+170
VisB
→VisB Attributes
14:38
14:38, 12 October 2020
diff
hist
+209
VisB
→VisB Attributes
14:37
14:37, 12 October 2020
diff
hist
+821
VisB
→VisB Attributes
9 October 2020
15:56
15:56, 9 October 2020
diff
hist
+4
VisB
→VisB Attributes
15:56
15:56, 9 October 2020
diff
hist
+532
VisB
→VisB Attributes
12:00
12:00, 9 October 2020
diff
hist
−3
ProB for Railways
→Further Industrial Uses of ProB for Data Validation
11:59
11:59, 9 October 2020
diff
hist
+8
ProB for Railways
→Hybrid Level 3
11:59
11:59, 9 October 2020
diff
hist
+121
ProB for Railways
→Hybrid Level 3
11:58
11:58, 9 October 2020
diff
hist
+82
ProB for Railways
→Hybrid Level 3
8 October 2020
10:32
10:32, 8 October 2020
diff
hist
−1
VisB
→VisB Attributes
10:31
10:31, 8 October 2020
diff
hist
+749
VisB
→VisB Attributes
10:27
10:27, 8 October 2020
diff
hist
+310
VisB
→VisB Examples
(
newest
|
oldest
) View (
newer 50
|
older 50
) (
20
|
50
|
100
|
250
|
500
)