User contributions for Michael Leuschel

28 May 2021

• 13:4213:42, 28 May 2021 diff hist +64‎ Tutorial ‎No edit summary

25 May 2021

• 07:2107:21, 25 May 2021 diff hist +49‎ ProB2-UI ‎ →‎Features

24 May 2021

• 15:5415:54, 24 May 2021 diff hist 0‎ ProB2-UI ‎ →‎Features
• 15:5315:53, 24 May 2021 diff hist +15‎ ProB2-UI ‎ →‎Features
• 15:5315:53, 24 May 2021 diff hist +368‎ ProB2-UI ‎ →‎Features
• 15:5115:51, 24 May 2021 diff hist +108‎ ProB2-UI ‎No edit summary

16 May 2021

• 06:4806:48, 16 May 2021 diff hist +107‎ Caching Constants and Operations ‎No edit summary
• 06:3406:34, 16 May 2021 diff hist +1,328‎ Caching Constants and Operations ‎ →‎Example

15 May 2021

• 14:3014:30, 15 May 2021 diff hist +435‎ Caching Constants and Operations ‎ →‎Example
• 14:2714:27, 15 May 2021 diff hist +2,211‎ Caching Constants and Operations ‎ →‎Inspecting the Cache
• 14:0214:02, 15 May 2021 diff hist +110‎ Caching Constants and Operations ‎ →‎Inspecting the Cache
• 07:0107:01, 15 May 2021 diff hist +335‎ Caching Constants and Operations ‎No edit summary
• 06:4706:47, 15 May 2021 diff hist +180‎ Caching Constants and Operations ‎ →‎Activating Caching
• 06:4506:45, 15 May 2021 diff hist +150‎ Caching Constants and Operations ‎No edit summary
• 06:4306:43, 15 May 2021 diff hist +272‎ Caching Constants and Operations ‎No edit summary
• 06:4006:40, 15 May 2021 diff hist +183‎ Caching Constants and Operations ‎No edit summary
• 06:3606:36, 15 May 2021 diff hist +72‎ Caching Constants and Operations ‎No edit summary
• 06:3406:34, 15 May 2021 diff hist +586‎ Caching Constants and Operations ‎No edit summary
• 06:3306:33, 15 May 2021 diff hist +154‎ Caching Constants and Operations ‎ →‎Activating Caching
• 06:3106:31, 15 May 2021 diff hist +289‎ Caching Constants and Operations ‎No edit summary
• 06:2706:27, 15 May 2021 diff hist +751‎ N Caching Constants and Operations ‎ Created page with "ProB can store the values of constants and operations in a cache file. Compared to [Memoization_for_Functions|memoization for functions], this caching is persistant across dif..."
• 06:2206:22, 15 May 2021 diff hist +39‎ Template:User Manual Index ‎No edit summary

7 May 2021

• 13:0913:09, 7 May 2021 diff hist −256‎ ABZ16 ‎ →‎Live Visualisation current
• 07:4407:44, 7 May 2021 diff hist +3‎ Links ‎ →‎Testimonials
• 07:4307:43, 7 May 2021 diff hist +604‎ Links ‎ →‎Testimonials

3 May 2021

• 08:2508:25, 3 May 2021 diff hist 0‎ Editors for ProB ‎ →‎VSCode
• 08:2508:25, 3 May 2021 diff hist +88‎ Editors for ProB ‎ →‎VSCode

24 March 2021

• 08:5608:56, 24 March 2021 diff hist +29‎ External Functions ‎ →‎Standard Libraries provided by ProB
• 08:5608:56, 24 March 2021 diff hist +4‎ Reals and Floats ‎No edit summary
• 08:5508:55, 24 March 2021 diff hist +167‎ External Functions ‎ →‎Standard Libraries provided by ProB
• 08:5308:53, 24 March 2021 diff hist +704‎ N Reals and Floats ‎ Created page with "ProB now supports the Atelier-B datatypes REAL and FLOAT. You can turn off this support via the preference ALLOW_REALS. Standard arithmetic operators can be applied to reals..."
• 08:5208:52, 24 March 2021 diff hist +23‎ Template:User Manual Index ‎No edit summary

22 March 2021

• 08:5808:58, 22 March 2021 diff hist 0‎ Prolog Coding Guidelines ‎ →‎General Guidelines current
• 08:5708:57, 22 March 2021 diff hist +277‎ Prolog Coding Guidelines ‎ →‎General Guidelines

19 March 2021

• 09:3609:36, 19 March 2021 diff hist +174‎ Prolog Coding Guidelines ‎ →‎Git

3 March 2021

• 09:0809:08, 3 March 2021 diff hist 0‎ VisB ‎ →‎VisB
• 09:0609:06, 3 March 2021 diff hist −2‎ VisB ‎ →‎VisB
• 09:0609:06, 3 March 2021 diff hist +1‎ VisB ‎ →‎VisB
• 09:0609:06, 3 March 2021 diff hist 0‎ VisB ‎ →‎VisB
• 09:0409:04, 3 March 2021 diff hist 0‎ N File:ProB2UI VisB View.png ‎No edit summary current
• 09:0409:04, 3 March 2021 diff hist −11‎ VisB ‎ →‎VisB
• 09:0109:01, 3 March 2021 diff hist 0‎ VisB ‎ →‎VisB
• 09:0109:01, 3 March 2021 diff hist +7‎ VisB ‎ →‎VisB
• 09:0009:00, 3 March 2021 diff hist 0‎ VisB ‎ →‎VisB
• 09:0009:00, 3 March 2021 diff hist 0‎ N File:ProB2JavaFX UI Overview VisB.png ‎No edit summary current
• 08:5908:59, 3 March 2021 diff hist +50‎ VisB ‎ →‎VisB

17 February 2021

• 08:5808:58, 17 February 2021 diff hist 0‎ VisB ‎ →‎VisB
• 08:5808:58, 17 February 2021 diff hist +396‎ VisB ‎ →‎VisB
• 08:5308:53, 17 February 2021 diff hist 0‎ VisB ‎ →‎VisB
• 08:4808:48, 17 February 2021 diff hist +196‎ VisB ‎ →‎VisB Attributes