User contributions for Michael Leuschel

12 October 2018

• 06:2306:23, 12 October 2018 diff hist +10‎ User Manual ‎ →‎New Version of Manuals
• 06:2206:22, 12 October 2018 diff hist −1‎ User Manual ‎ →‎New Version of Manuals
• 06:2206:22, 12 October 2018 diff hist +259‎ User Manual ‎No edit summary

5 October 2018

• 11:4311:43, 5 October 2018 diff hist +925‎ Download ‎ →‎Latest Release

2 October 2018

• 08:5608:56, 2 October 2018 diff hist +64‎ ProB Release History ‎No edit summary
• 08:2908:29, 2 October 2018 diff hist 0‎ Download ‎ →‎ProB for Rodin
• 08:2808:28, 2 October 2018 diff hist +7‎ Download ‎ →‎Nightly Builds
• 08:2708:27, 2 October 2018 diff hist −306‎ Download ‎ →‎Timed-CSP Simulator
• 08:2708:27, 2 October 2018 diff hist +279‎ DownloadPriorVersions ‎No edit summary
• 08:0908:09, 2 October 2018 diff hist −133‎ Alloy ‎No edit summary
• 08:0408:04, 2 October 2018 diff hist −7‎ Alloy ‎ →‎Installation
• 07:5307:53, 2 October 2018 diff hist +2,946‎ Alloy ‎ →‎Alloy Syntax
• 07:4707:47, 2 October 2018 diff hist +791‎ ProB Release History ‎No edit summary
• 07:4707:47, 2 October 2018 diff hist +10‎ Download ‎ →‎Short Release History
• 07:4607:46, 2 October 2018 diff hist +10‎ The ProB Animator and Model Checker ‎No edit summary
• 07:4407:44, 2 October 2018 diff hist +219‎ Download ‎ →‎Short Release History

1 October 2018

• 15:1815:18, 1 October 2018 diff hist −72‎ The ProB Animator and Model Checker ‎No edit summary
• 15:1715:17, 1 October 2018 diff hist −1‎ The ProB Animator and Model Checker ‎No edit summary
• 15:1615:16, 1 October 2018 diff hist +219‎ The ProB Animator and Model Checker ‎No edit summary
• 09:1209:12, 1 October 2018 diff hist +37‎ Download ‎No edit summary
• 09:0809:08, 1 October 2018 diff hist 0‎ Download ‎No edit summary
• 09:0809:08, 1 October 2018 diff hist 0‎ Download ‎No edit summary
• 07:5507:55, 1 October 2018 diff hist +2‎ DownloadPriorVersions ‎No edit summary
• 07:5507:55, 1 October 2018 diff hist +1,766‎ DownloadPriorVersions ‎No edit summary

29 September 2018

• 06:3106:31, 29 September 2018 diff hist +89‎ The ProB Animator and Model Checker ‎No edit summary

26 September 2018

• 15:1115:11, 26 September 2018 diff hist +95‎ Links ‎ →‎Tools using ProB

19 September 2018

• 15:0815:08, 19 September 2018 diff hist +203‎ The ProB Animator and Model Checker ‎No edit summary

5 September 2018

• 10:3410:34, 5 September 2018 diff hist +1,704‎ Alloy ‎No edit summary

28 August 2018

• 07:5607:56, 28 August 2018 diff hist +195‎ Bugs ‎No edit summary
• 07:5007:50, 28 August 2018 diff hist −1‎ Download ‎ →‎Short Release History
• 07:4907:49, 28 August 2018 diff hist +178‎ Download ‎ →‎Latest Release
• 07:4707:47, 28 August 2018 diff hist +32‎ Download ‎ →‎Nightly Builds
• 07:4607:46, 28 August 2018 diff hist +1‎ Download ‎ →‎Nightly Build
• 07:4507:45, 28 August 2018 diff hist +1‎ Download ‎No edit summary
• 07:4407:44, 28 August 2018 diff hist +173‎ Download ‎ →‎ProB for Rodin

9 July 2018

• 13:1113:11, 9 July 2018 diff hist +1,200‎ ProB Release History ‎No edit summary
• 12:4012:40, 9 July 2018 diff hist −295‎ Installation ‎ →‎Installation Instruction for ProB (Standalone)
• 12:3812:38, 9 July 2018 diff hist −44‎ Installation ‎ →‎Checklist/Troubleshooting
• 12:3212:32, 9 July 2018 diff hist +70‎ Download ‎ →‎Graphviz Requirements
• 12:2912:29, 9 July 2018 diff hist +224‎ Download ‎ →‎Tcl/Tk on Linux
• 12:2712:27, 9 July 2018 diff hist −9‎ Download ‎ →‎Prior Versions

28 June 2018

• 09:3609:36, 28 June 2018 diff hist −20‎ Download ‎ →‎Latest Release
• 09:3509:35, 28 June 2018 diff hist +58‎ Download ‎ →‎Latest Release

6 June 2018

• 12:5212:52, 6 June 2018 diff hist +151‎ The ProB Animator and Model Checker ‎No edit summary

5 June 2018

• 06:0206:02, 5 June 2018 diff hist 0‎ Download ‎ →‎Nightly Build

16 May 2018

• 13:2913:29, 16 May 2018 diff hist +117‎ Privacy Policy ‎ →‎Registrierung current
• 08:5508:55, 16 May 2018 diff hist +806‎ Privacy Policy ‎ →‎Detailed Datenschutzerklärung
• 08:2908:29, 16 May 2018 diff hist +2,972‎ Privacy Policy ‎ →‎Verwendung von Cookies
• 08:2308:23, 16 May 2018 diff hist +3,006‎ Privacy Policy ‎ →‎Bereitstellung der Website und Erstellung von Logfiles
• 08:1808:18, 16 May 2018 diff hist +3,296‎ Privacy Policy ‎No edit summary