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,301 edits. Account created on 18 January 2010.

15:3215:32, 16 March 2010 diff hist +15 Download →Latest Release
15:3115:31, 16 March 2010 diff hist 0 Download →Latest Release
15:2915:29, 16 March 2010 diff hist 0 Download →Latest Release

17:3317:33, 12 March 2010 diff hist +75 Using ProB with Atelier B →Extra Features of ProB

15:1315:13, 3 March 2010 diff hist 0 Download →Latest Release
14:5714:57, 3 March 2010 diff hist −3 Download →Latest Release

15:3615:36, 25 February 2010 diff hist +149 Other languages No edit summary
15:3315:33, 25 February 2010 diff hist −11 Other languages No edit summary

18:3318:33, 11 February 2010 diff hist 0 Links No edit summary
18:3318:33, 11 February 2010 diff hist +13 Links →Miscellaneous
18:3218:32, 11 February 2010 diff hist +1,544 N Links Created page with '== Books == * [http://www.jpbowen.com/publications/thes-b.html The B-Book: Assigning programs to meanings, by Jean-Raymond Abrial] (link is to a review by Jonathan Bowen) * [http…'
12:2912:29, 11 February 2010 diff hist +51 Download →Latest Release
12:2912:29, 11 February 2010 diff hist +51 Download →Latest Release
12:2712:27, 11 February 2010 diff hist +1 Download →Latest Release
12:2712:27, 11 February 2010 diff hist +505 Download →Latest Release
10:4710:47, 11 February 2010 diff hist +1 Download →Latest Release
10:4110:41, 11 February 2010 diff hist +643 Download →Latest Release
10:3210:32, 11 February 2010 diff hist −2 Download →Latest Release
10:3210:32, 11 February 2010 diff hist +3 Download No edit summary
10:0210:02, 11 February 2010 diff hist +225 The ProB Animator and Model Checker No edit summary

15:0415:04, 22 January 2010 diff hist +172 Tutorial Understanding ProB's Constraint Solver →Complicating the Example

09:3009:30, 20 January 2010 diff hist +334 Tutorial Understanding ProB's Constraint Solver →Adding universally quantified formulas

16:1816:18, 19 January 2010 diff hist −1 Using the Command-Line Version of ProB →Some probcli examples
16:1816:18, 19 January 2010 diff hist −1 Using the Command-Line Version of ProB →Some probcli examples
16:1816:18, 19 January 2010 diff hist −28 Using the Command-Line Version of ProB →Some probcli examples
16:1716:17, 19 January 2010 diff hist +55 Using the Command-Line Version of ProB →Some probcli examples
16:1516:15, 19 January 2010 diff hist +404 Using the Command-Line Version of ProB No edit summary
16:0916:09, 19 January 2010 diff hist +3 Using the Command-Line Version of ProB →probcli Basics
16:0816:08, 19 January 2010 diff hist +3,645 Using the Command-Line Version of ProB →probcli Basics
16:0716:07, 19 January 2010 diff hist +1,240 N Using the Command-Line Version of ProB Created page with 'Category:Tutorial Category:User Manual The command-line version of ProB offers many of the feature of the standalone Tcl/Tk Version, but via the command-line. As such, y…'
15:5815:58, 19 January 2010 diff hist +46 Tutorial No edit summary
15:1515:15, 19 January 2010 diff hist 0 N File:ProB PropagationAfterLoad4.png No edit summary current
15:1515:15, 19 January 2010 diff hist +1,186 Tutorial Understanding ProB's Constraint Solver No edit summary
15:0415:04, 19 January 2010 diff hist +1 Tutorial Understanding ProB's Constraint Solver No edit summary
15:0415:04, 19 January 2010 diff hist +275 Tutorial Understanding ProB's Constraint Solver No edit summary
15:0115:01, 19 January 2010 diff hist +150 Tutorial Understanding ProB's Constraint Solver No edit summary
15:0015:00, 19 January 2010 diff hist +433 Tutorial Understanding ProB's Constraint Solver →Complicating the Example
14:5314:53, 19 January 2010 diff hist +49 Tutorial Understanding ProB's Constraint Solver No edit summary
14:5314:53, 19 January 2010 diff hist +97 Tutorial Understanding ProB's Constraint Solver No edit summary
14:5114:51, 19 January 2010 diff hist 0 N File:ProB PropagationAfterLoadMsg3.png No edit summary current
14:5114:51, 19 January 2010 diff hist 0 N File:ProB PropagationAfterLoadDebug3.png No edit summary current

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