User contributions for Michael Leuschel

16 December 2020

• 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

14 October 2020

• 08:3508:35, 14 October 2020 diff hist +328‎ VisB ‎ →‎VisB Attributes

13 October 2020

• 11:1411:14, 13 October 2020 diff hist +1‎ VisB ‎ →‎VisB Attributes
• 11:1411:14, 13 October 2020 diff hist +195‎ VisB ‎ →‎VisB Attributes

12 October 2020

• 14:4214:42, 12 October 2020 diff hist +73‎ VisB ‎ →‎VisB Attributes
• 14:4114:41, 12 October 2020 diff hist −2‎ VisB ‎ →‎VisB Attributes
• 14:4114:41, 12 October 2020 diff hist +170‎ VisB ‎ →‎VisB Attributes
• 14:3814:38, 12 October 2020 diff hist +209‎ VisB ‎ →‎VisB Attributes
• 14:3714:37, 12 October 2020 diff hist +821‎ VisB ‎ →‎VisB Attributes

9 October 2020

• 15:5615:56, 9 October 2020 diff hist +4‎ VisB ‎ →‎VisB Attributes
• 15:5615:56, 9 October 2020 diff hist +532‎ VisB ‎ →‎VisB Attributes
• 12:0012:00, 9 October 2020 diff hist −3‎ ProB for Railways ‎ →‎Further Industrial Uses of ProB for Data Validation
• 11:5911:59, 9 October 2020 diff hist +8‎ ProB for Railways ‎ →‎Hybrid Level 3
• 11:5911:59, 9 October 2020 diff hist +121‎ ProB for Railways ‎ →‎Hybrid Level 3
• 11:5811:58, 9 October 2020 diff hist +82‎ ProB for Railways ‎ →‎Hybrid Level 3

8 October 2020

• 10:3210:32, 8 October 2020 diff hist −1‎ VisB ‎ →‎VisB Attributes
• 10:3110:31, 8 October 2020 diff hist +749‎ VisB ‎ →‎VisB Attributes
• 10:2710:27, 8 October 2020 diff hist +310‎ VisB ‎ →‎VisB Examples