User contributions for Michael Leuschel

27 December 2020

• 16:5716:57, 27 December 2020 diff hist +427 VisB →Replication
• 16:4916:49, 27 December 2020 diff hist +980 VisB →VisB Attributes
• 16:4416:44, 27 December 2020 diff hist +140 VisB →VisB Attributes

23 December 2020

• 10:1310:13, 23 December 2020 diff hist +1 Download →Tcl/Tk on Mac OS/X
• 10:1210:12, 23 December 2020 diff hist +2 Download →Tcl/Tk on Mac OS/X
• 10:1210:12, 23 December 2020 diff hist +155 Download →Tcl/Tk on Mac OS/X
• 10:1010:10, 23 December 2020 diff hist +133 Bugs No edit summary

17 December 2020

• 14:4514:45, 17 December 2020 diff hist +119 Download →ProB2 UI using Java FX

16 December 2020

• 15:5415:54, 16 December 2020 diff hist +344 Download →Latest Release
• 15:5115:51, 16 December 2020 diff hist +195 Download →ProB2 UI using Java FX
• 12:5612:56, 16 December 2020 diff hist −43 The ProB Animator and Model Checker →Features
• 12:0812:08, 16 December 2020 diff hist +127 The ProB Animator and Model Checker No edit summary
• 12:0812:08, 16 December 2020 diff hist +1 Download →Short Release History
• 11:5611:56, 16 December 2020 diff hist +2,631 ProB Release History No edit summary
• 11:5511:55, 16 December 2020 diff hist +182 Download →Short Release History
• 11:4711:47, 16 December 2020 diff hist −64 Download →Latest Release
• 11:2611:26, 16 December 2020 diff hist +24 Download →Latest Release
• 11:2211:22, 16 December 2020 diff hist −77 Download →Latest Release
• 11:1911:19, 16 December 2020 diff hist +1,793 DownloadPriorVersions →Prior Versions of ProB

15 December 2020

• 07:5207:52, 15 December 2020 diff hist −4 ProB's Prolog Datastructures →Data Values current
• 07:5107:51, 15 December 2020 diff hist +334 ProB's Prolog Datastructures →Data Values
• 07:4907:49, 15 December 2020 diff hist −2 ProB's Prolog Datastructures →AST types
• 07:4907:49, 15 December 2020 diff hist +5 ProB's Prolog Datastructures →AST types
• 07:4807:48, 15 December 2020 diff hist +62 ProB's Prolog Datastructures →AST types
• 07:4807:48, 15 December 2020 diff hist +1 ProB's Prolog Datastructures →AST types
• 07:4807:48, 15 December 2020 diff hist +5 ProB's Prolog Datastructures →AST types
• 07:4707:47, 15 December 2020 diff hist −88 Developer Manual →ProB Prolog Source Code

2 December 2020

• 10:4310:43, 2 December 2020 diff hist +90 VisB →VisB Attributes

27 November 2020

• 16:5816:58, 27 November 2020 diff hist +135 VisB No edit summary
• 16:5416:54, 27 November 2020 diff hist +296 VisB →VisB Attributes

24 November 2020

• 14:0314:03, 24 November 2020 diff hist +43 Links →Other Links

19 November 2020

• 14:2014:20, 19 November 2020 diff hist +14 Summary of B Syntax →Reals:

18 November 2020

• 14:1414:14, 18 November 2020 diff hist +2 Using ProB with Atelier B →Atelier B Plugin
• 14:1414:14, 18 November 2020 diff hist +203 Using ProB with Atelier B →Atelier B Plugin
• 14:0214:02, 18 November 2020 diff hist +214 Using ProB with Atelier B →Atelier B Plugin
• 14:0014:00, 18 November 2020 diff hist +271 Using ProB with Atelier B →Atelier B Plugin

5 November 2020

• 13:0113:01, 5 November 2020 diff hist +948 Summary of B Syntax →Trees:
• 13:0013:00, 5 November 2020 diff hist +479 Summary of B Syntax →Strings:
• 12:5912:59, 5 November 2020 diff hist +82 Summary of B Syntax →Numbers:

3 November 2020

• 15:1915:19, 3 November 2020 diff hist +33 Download →ProB2 UI using Java FX

2 November 2020

• 11:2911:29, 2 November 2020 diff hist −2 Download →Latest Release
• 11:2811:28, 2 November 2020 diff hist −14 Download →Latest Release

29 October 2020

• 14:1214:12, 29 October 2020 diff hist +4 Using ProB with Z3 →How to install Z3 for ProB
• 09:1309:13, 29 October 2020 diff hist +10 Download →ProB2 UI using Java FX
• 09:1109:11, 29 October 2020 diff hist +325 Download →ProB2 UI using Java FX
• 08:5508:55, 29 October 2020 diff hist +1 Download →Latest Beta Release
• 08:5408:54, 29 October 2020 diff hist +172 Download →Latest Beta Release

27 October 2020

• 14:4514:45, 27 October 2020 diff hist +83 Using ProB with Z3 →Examples
• 10:3610:36, 27 October 2020 diff hist +24 Using ProB with Z3 →Examples
• 10:3010:30, 27 October 2020 diff hist −9 Using ProB with Z3 →How to install Z3 for ProB