User contributions for Michael Leuschel

31 October 2012

• 12:2312:23, 31 October 2012 diff hist +657 N Using ProB with KODKOD Created page with 'Category:User Manual Category:Stubs As of version 1.3.5 ProB can make use of Kodkod as an alternate way of solving constraints. = How to enable Kodkod = For the comman…'
• 12:1912:19, 31 October 2012 diff hist +29 Template:User Manual Index No edit summary
• 09:3109:31, 31 October 2012 diff hist +13 Using ProB with Atelier B →Extra Features of ProB
• 09:3009:30, 31 October 2012 diff hist +123 Using ProB with Atelier B →Extra Features of ProB
• 09:2909:29, 31 October 2012 diff hist +10 Using ProB with Atelier B →Extra Features of ProB
• 09:2709:27, 31 October 2012 diff hist −11 Summary of B Syntax →Differences with AtelierB/B4Free
• 09:2609:26, 31 October 2012 diff hist +189 Summary of B Syntax →Differences with AtelierB/B4Free

16 October 2012

• 06:1406:14, 16 October 2012 diff hist +115 Download No edit summary

11 October 2012

• 15:3215:32, 11 October 2012 diff hist +2 Installation →Installation Instruction for ProB (Standalone)
• 15:3215:32, 11 October 2012 diff hist +102 Installation →Installation Instruction for ProB (Standalone)
• 15:3015:30, 11 October 2012 diff hist −3 Windows Installation Instructions →Checklist/Troubleshooting
• 15:3015:30, 11 October 2012 diff hist −6 Windows Installation Instructions →Checklist/Troubleshooting
• 14:2814:28, 11 October 2012 diff hist +5 Windows Installation Instructions →Checklist/Troubleshooting
• 14:2314:23, 11 October 2012 diff hist +94 Windows Installation Instructions →Checklist/Troubleshooting
• 14:2114:21, 11 October 2012 diff hist +618 Windows Installation Instructions →Checklist/Troubleshooting
• 14:1914:19, 11 October 2012 diff hist +605 Windows Installation Instructions No edit summary
• 14:1414:14, 11 October 2012 diff hist +167 Windows Installation Instructions →Download the ProB for Windows Zipfile
• 14:1314:13, 11 October 2012 diff hist +7 Windows Installation Instructions →Go to the ProB Downloads site
• 14:1314:13, 11 October 2012 diff hist +155 Windows Installation Instructions No edit summary
• 14:0914:09, 11 October 2012 diff hist +192 Windows Installation Instructions No edit summary
• 14:0814:08, 11 October 2012 diff hist 0 N File:ProBWindowsFolder.png No edit summary current
• 14:0814:08, 11 October 2012 diff hist +206 Windows Installation Instructions No edit summary
• 14:0514:05, 11 October 2012 diff hist 0 N File:TkWindowsDownload.png No edit summary current
• 14:0414:04, 11 October 2012 diff hist 0 N File:ProBWindowsDownload.png No edit summary
• 13:5913:59, 11 October 2012 diff hist +1,400 N Windows Installation Instructions Created page with 'Windows Specific Download Instructions === Go to the ProB Downloads site === * [http://www.stups.uni-duesseldorf.de/ProB/index.php5/Download http://www.stups.uni-duesseldorf.d…'
• 13:4813:48, 11 October 2012 diff hist +39 Download →Latest Release
• 13:3613:36, 11 October 2012 diff hist +26 Team No edit summary
• 11:2511:25, 11 October 2012 diff hist +2 Download →Latest Release
• 05:1405:14, 11 October 2012 diff hist +13 The ProB Animator and Model Checker No edit summary

10 October 2012

• 14:3414:34, 10 October 2012 diff hist +168 Download →Tcl/Tk
• 14:3114:31, 10 October 2012 diff hist −1 Download →Latest Release
• 14:3114:31, 10 October 2012 diff hist +283 Download →Latest Release
• 12:5412:54, 10 October 2012 diff hist +221 Download →Latest Release
• 12:2812:28, 10 October 2012 diff hist +2 Download →Latest Release
• 12:0712:07, 10 October 2012 diff hist −2 Download →Latest Release

9 October 2012

• 11:1811:18, 9 October 2012 diff hist −291 Download →Latest Release
• 11:1611:16, 9 October 2012 diff hist +291 Download →Latest Release

8 October 2012

• 15:3515:35, 8 October 2012 diff hist +206 The ProB Animator and Model Checker No edit summary
• 15:0415:04, 8 October 2012 diff hist −23 Download →Latest Release
• 14:4214:42, 8 October 2012 diff hist +1,219 Download →Latest Release
• 14:3414:34, 8 October 2012 diff hist +780 Download →Tcl/Tk
• 14:3114:31, 8 October 2012 diff hist −779 Download →Tcl/Tk
• 14:0714:07, 8 October 2012 diff hist +152 Links →ProB
• 14:0614:06, 8 October 2012 diff hist +144 Links No edit summary

19 September 2012

• 08:4108:41, 19 September 2012 diff hist +232 Using the Command-Line Version of ProB No edit summary

7 September 2012

• 13:4613:46, 7 September 2012 diff hist +119 Using the Command-Line Version of ProB →-cache

18 July 2012

• 08:5508:55, 18 July 2012 diff hist +229 Using the Command-Line Version of ProB →-cache
• 08:4708:47, 18 July 2012 diff hist +524 Using the Command-Line Version of ProB No edit summary

16 June 2012

• 05:3905:39, 16 June 2012 diff hist +175 Using the Command-Line Version of ProB No edit summary

11 June 2012

• 10:2210:22, 11 June 2012 diff hist +37 ProB Logic Calculator →Small Tutorial