User contributions for Michael Leuschel

25 July 2011

• 15:2415:24, 25 July 2011 diff hist +63‎ Tutorial ‎No edit summary

20 July 2011

• 11:4111:41, 20 July 2011 diff hist +73‎ Current Limitations ‎No edit summary
• 11:3511:35, 20 July 2011 diff hist −160‎ Current Limitations ‎No edit summary

19 July 2011

• 10:1310:13, 19 July 2011 diff hist +558‎ Using the Command-Line Version of ProB ‎No edit summary
• 07:1507:15, 19 July 2011 diff hist +350‎ Using the Command-Line Version of ProB ‎No edit summary
• 07:1107:11, 19 July 2011 diff hist +751‎ Using the Command-Line Version of ProB ‎No edit summary

18 July 2011

• 15:5815:58, 18 July 2011 diff hist −8‎ Using the Command-Line Version of ProB ‎ →‎Preferences
• 15:5715:57, 18 July 2011 diff hist +91‎ Using the Command-Line Version of ProB ‎ →‎Preferences
• 15:5515:55, 18 July 2011 diff hist +4‎ Using the Command-Line Version of ProB ‎ →‎-version
• 15:5515:55, 18 July 2011 diff hist +198‎ Using the Command-Line Version of ProB ‎ →‎-version

14 July 2011

• 16:2516:25, 14 July 2011 diff hist +561‎ Using the Command-Line Version of ProB ‎ →‎Options

29 June 2011

• 11:4011:40, 29 June 2011 diff hist +454‎ Using the Command-Line Version of ProB ‎No edit summary
• 11:2911:29, 29 June 2011 diff hist +135‎ Using the Command-Line Version of ProB ‎ →‎-i
• 11:2911:29, 29 June 2011 diff hist +15‎ Using the Command-Line Version of ProB ‎ →‎-det_check
• 11:1811:18, 29 June 2011 diff hist +518‎ Using the Command-Line Version of ProB ‎No edit summary
• 11:0011:00, 29 June 2011 diff hist +330‎ Using the Command-Line Version of ProB ‎No edit summary

27 June 2011

• 08:4708:47, 27 June 2011 diff hist +86‎ Links ‎ →‎Tools
• 08:4608:46, 27 June 2011 diff hist +43‎ Links ‎ →‎Tools

30 May 2011

• 16:0016:00, 30 May 2011 diff hist +28‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
• 15:5815:58, 30 May 2011 diff hist 0‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples
• 15:5815:58, 30 May 2011 diff hist +238‎ Using the Command-Line Version of ProB ‎ →‎Some probcli examples

24 May 2011

• 09:3109:31, 24 May 2011 diff hist +280‎ Tutorial Rodin First Step ‎ →‎Starting ProB
• 09:2809:28, 24 May 2011 diff hist 0‎ File:ProBRodinStart.png ‎ uploaded a new version of "File:ProBRodinStart.png"
• 09:2009:20, 24 May 2011 diff hist +34‎ Tutorial Rodin First Step ‎ →‎Starting ProB
• 09:1009:10, 24 May 2011 diff hist +18‎ Tutorial Rodin First Step ‎ →‎Starting ProB

6 May 2011

• 15:1515:15, 6 May 2011 diff hist +45‎ Template:User Manual Index ‎No edit summary
• 15:0915:09, 6 May 2011 diff hist +2‎ Using the Command-Line Version of ProB ‎ →‎Preferences
• 15:0715:07, 6 May 2011 diff hist +167‎ Using the Command-Line Version of ProB ‎ →‎-properties
• 15:0515:05, 6 May 2011 diff hist +89‎ Using the Command-Line Version of ProB ‎ →‎-assertions
• 15:0315:03, 6 May 2011 diff hist +88‎ Using the Command-Line Version of ProB ‎No edit summary
• 14:3814:38, 6 May 2011 diff hist +567‎ Using the Command-Line Version of ProB ‎No edit summary
• 14:2114:21, 6 May 2011 diff hist +188‎ Using the Command-Line Version of ProB ‎ →‎Options
• 14:1814:18, 6 May 2011 diff hist +255‎ Using the Command-Line Version of ProB ‎No edit summary

24 March 2011

• 12:5412:54, 24 March 2011 diff hist −1‎ Current Limitations ‎No edit summary
• 12:5412:54, 24 March 2011 diff hist +58‎ Current Limitations ‎No edit summary

17 March 2011

• 12:1012:10, 17 March 2011 diff hist −667‎ Download ‎ →‎Latest Release
• 12:0912:09, 17 March 2011 diff hist −543‎ Download ‎ →‎Latest Release
• 12:0712:07, 17 March 2011 diff hist −550‎ Download ‎ →‎Latest Release

10 March 2011

• 14:4014:40, 10 March 2011 diff hist −58‎ Download ‎ →‎Tcl/Tk
• 13:5313:53, 10 March 2011 diff hist +146‎ Download ‎ →‎tcl/tk

2 March 2011

• 13:5813:58, 2 March 2011 diff hist −41‎ Tutorial Model Checking, Proof and CBC ‎ →‎How to correct problems found
• 13:5513:55, 2 March 2011 diff hist +692‎ Tutorial Model Checking, Proof and CBC ‎No edit summary
• 09:5709:57, 2 March 2011 diff hist −8‎ Template:User Manual Index ‎No edit summary
• 09:5609:56, 2 March 2011 diff hist +44‎ Template:User Manual Index ‎No edit summary
• 09:5509:55, 2 March 2011 diff hist +46‎ User Manual ‎ →‎Content of this handbook
• 08:3608:36, 2 March 2011 diff hist +250‎ Tips: Writing Models for ProB ‎No edit summary
• 08:3508:35, 2 March 2011 diff hist +1,250‎ Tips: Writing Models for ProB ‎No edit summary
• 08:2208:22, 2 March 2011 diff hist +258‎ N Tips: Writing Models for ProB ‎ Created page with 'Category:User Manual * Try to put complicated properties into ASSERTIONS rather than PROPERTIES. Something like <tt>!s.(s<:S => P)</tt> will have to check <tt>P</tt> for all…'
• 08:1808:18, 2 March 2011 diff hist +7‎ Current Limitations ‎No edit summary

1 March 2011

• 16:0416:04, 1 March 2011 diff hist +22‎ Tutorial ‎No edit summary