User contributions for Michael Leuschel - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

Results for Michael Leuschel talk block log uploads logs

A user with 3,295 edits. Account created on 18 January 2010.

06:3406:34, 16 May 2021 diff hist +1,328 Caching Constants and Operations →Example

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

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

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

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

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

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

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

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
08:4708:47, 17 February 2021 diff hist +1 VisB →VisB Definitions
08:4608:46, 17 February 2021 diff hist +54 VisB →VisB Definitions
08:4608:46, 17 February 2021 diff hist +2 External Functions →Standard Libraries provided by ProB
08:4308:43, 17 February 2021 diff hist +762 VisB →VisB Examples

07:3307:33, 13 February 2021 diff hist +2 Prolog vs Java Comparison →Sample Querys of the Fact Database current
07:1807:18, 13 February 2021 diff hist +164 Prolog vs Java Comparison →Sample Querys of the Fact Database
07:1507:15, 13 February 2021 diff hist +698 Prolog vs Java Comparison →Sample Querys of the Fact Database

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Michael_Leuschel"