User contributions for Michael Leuschel

12 July 2019

• 14:3814:38, 12 July 2019 diff hist +51 Download →Latest Release
• 11:4111:41, 12 July 2019 diff hist +38 Download →Latest Release
• 11:3811:38, 12 July 2019 diff hist 0 Download →Latest Release
• 11:3811:38, 12 July 2019 diff hist −4 Download →Latest Release
• 11:3611:36, 12 July 2019 diff hist +22 Download →Latest Release
• 11:3511:35, 12 July 2019 diff hist +5 Download →Latest Release
• 11:3411:34, 12 July 2019 diff hist −1 Download →Latest Release
• 11:3411:34, 12 July 2019 diff hist +7 Download →Latest Release
• 11:3311:33, 12 July 2019 diff hist +13 Download →Latest Release
• 10:2910:29, 12 July 2019 diff hist −6 The ProB Animator and Model Checker No edit summary
• 10:2810:28, 12 July 2019 diff hist −25 The ProB Animator and Model Checker No edit summary
• 10:2810:28, 12 July 2019 diff hist +160 The ProB Animator and Model Checker No edit summary
• 10:2710:27, 12 July 2019 diff hist +11 Download →Short Release History
• 10:2710:27, 12 July 2019 diff hist −11 Download →Short Release History
• 10:2710:27, 12 July 2019 diff hist −2 Download →Short Release History
• 10:2610:26, 12 July 2019 diff hist +161 Download →Short Release History
• 10:2310:23, 12 July 2019 diff hist +2,387 ProB Release History No edit summary
• 10:1910:19, 12 July 2019 diff hist −1 Download →Latest Release
• 10:1910:19, 12 July 2019 diff hist −1 Download →Latest Release
• 10:1410:14, 12 July 2019 diff hist −58 Download →Latest Release
• 10:1410:14, 12 July 2019 diff hist +6 Download →Latest Release
• 10:1210:12, 12 July 2019 diff hist +6 Download →Latest Release
• 10:1210:12, 12 July 2019 diff hist +150 Download →Latest Release
• 10:0910:09, 12 July 2019 diff hist −6 Download →Latest Release
• 10:0810:08, 12 July 2019 diff hist +6 Download →Latest Release
• 10:0610:06, 12 July 2019 diff hist −87 Download →Latest Release
• 08:5008:50, 12 July 2019 diff hist +1,805 DownloadPriorVersions No edit summary
• 08:4808:48, 12 July 2019 diff hist −1 Download →Latest Release

9 July 2019

• 13:1113:11, 9 July 2019 diff hist −20 The ProB Animator and Model Checker No edit summary
• 13:1113:11, 9 July 2019 diff hist −8 The ProB Animator and Model Checker No edit summary
• 13:1013:10, 9 July 2019 diff hist −28 The ProB Animator and Model Checker No edit summary
• 13:0913:09, 9 July 2019 diff hist −15 The ProB Animator and Model Checker No edit summary
• 12:5312:53, 9 July 2019 diff hist +39 Template:User Manual Index No edit summary
• 12:5212:52, 9 July 2019 diff hist +162 Template:User Manual Index No edit summary
• 12:4812:48, 9 July 2019 diff hist +89 Tutorial No edit summary
• 12:4612:46, 9 July 2019 diff hist +74 Tutorial No edit summary
• 12:4412:44, 9 July 2019 diff hist +40 Tutorial No edit summary

5 June 2019

• 09:2709:27, 5 June 2019 diff hist +49 Using the Command-Line Version of ProB →Environment Variables

24 May 2019

• 06:4306:43, 24 May 2019 diff hist +843 Memoization for Functions No edit summary current
• 06:4006:40, 24 May 2019 diff hist +1 Memoization for Functions No edit summary
• 06:4006:40, 24 May 2019 diff hist +3 Memoization for Functions No edit summary
• 06:3406:34, 24 May 2019 diff hist +1,502 Memoization for Functions No edit summary

17 May 2019

• 11:0511:05, 17 May 2019 diff hist +2 Download →Latest Beta Release

9 May 2019

• 16:2216:22, 9 May 2019 diff hist +3 Memoization for Functions No edit summary
• 16:2216:22, 9 May 2019 diff hist +156 Memoization for Functions No edit summary
• 15:1415:14, 9 May 2019 diff hist +274 Memoization for Functions No edit summary

7 May 2019

• 10:4510:45, 7 May 2019 diff hist +18 Memoization for Functions No edit summary
• 10:4010:40, 7 May 2019 diff hist +926 Memoization for Functions No edit summary

29 April 2019

• 10:5410:54, 29 April 2019 diff hist +353 LTL Model Checking No edit summary

16 April 2019

• 10:0610:06, 16 April 2019 diff hist +127 Memoization for Functions No edit summary