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 20
|
older 20
) (
20
|
50
|
100
|
250
|
500
)
3 December 2024
09:01
09:01, 3 December 2024
diff
hist
+1,249
Monte Carlo Tree Search Game Play
No edit summary
current
2 December 2024
18:03
18:03, 2 December 2024
diff
hist
+35
Download
→Graphviz Requirements
current
7 October 2024
07:04
07:04, 7 October 2024
diff
hist
+131
Debugging
No edit summary
current
07:00
07:00, 7 October 2024
diff
hist
+1,312
Debugging
→Debugging Constants Setup
1 October 2024
10:41
10:41, 1 October 2024
diff
hist
+100
Links
→Tools using ProB
current
10:40
10:40, 1 October 2024
diff
hist
+67
Developer Manual
→ProB Java API (aka ProB 2.0)
current
10:40
10:40, 1 October 2024
diff
hist
+45
Developer Manual
→ProB Java API (aka ProB 2.0)
30 September 2024
11:36
11:36, 30 September 2024
diff
hist
+534
Debugging
→Debugging Constant Size
28 September 2024
06:12
06:12, 28 September 2024
diff
hist
−40
Debugging
→Profiling External Function Calls
06:11
06:11, 28 September 2024
diff
hist
+103
Debugging
→Profiling External Function Calls
27 September 2024
17:33
17:33, 27 September 2024
diff
hist
+332
Debugging
→Profiling
17:32
17:32, 27 September 2024
diff
hist
+2,117
Debugging
→Profiling
18 September 2024
09:18
09:18, 18 September 2024
diff
hist
0
Generating UML Sequence Charts
→Using the Command
current
09:17
09:17, 18 September 2024
diff
hist
0
N
File:ProBUMLSeqChartProB2UIDialog.png
No edit summary
current
09:16
09:16, 18 September 2024
diff
hist
0
N
File:ProBUMLSeqChartProB2UICmd.png
No edit summary
current
09:05
09:05, 18 September 2024
diff
hist
+112
Generating UML Sequence Charts
→Using the Command
09:05
09:05, 18 September 2024
diff
hist
+129
Generating UML Sequence Charts
→Installation and Using
09:01
09:01, 18 September 2024
diff
hist
+156
Generating UML Sequence Charts
→Specifying the Actors
08:59
08:59, 18 September 2024
diff
hist
+142
Generating UML Sequence Charts
→Using the Command
08:53
08:53, 18 September 2024
diff
hist
−33
Generating UML Sequence Charts
→Installation and Using
(
newest
|
oldest
) View (
newer 20
|
older 20
) (
20
|
50
|
100
|
250
|
500
)