User contributions for Michael Leuschel

19 January 2010

• 13:1713:17, 19 January 2010 diff hist +402 Tutorial Understanding the Complexity of B Animation →Complexity of Animation
• 13:1413:14, 19 January 2010 diff hist +35 Tutorial Understanding the Complexity of B Animation →Complexity of Animation
• 13:1213:12, 19 January 2010 diff hist +152 Tutorial Understanding the Complexity of B Animation →Complexity of Animation
• 13:0713:07, 19 January 2010 diff hist +28 Tutorial Understanding the Complexity of B Animation →Complexity of Animation
• 12:5712:57, 19 January 2010 diff hist +461 Tutorial Understanding the Complexity of B Animation No edit summary
• 10:5210:52, 19 January 2010 diff hist +21 Tutorial Understanding the Complexity of B Animation →Complexity of Animation
• 10:5110:51, 19 January 2010 diff hist +50 Tutorial Understanding the Complexity of B Animation →Complexity of Animation
• 10:5010:50, 19 January 2010 diff hist +188 Tutorial Understanding the Complexity of B Animation →Complexity of Animation
• 10:4810:48, 19 January 2010 diff hist 0 Tutorial Understanding the Complexity of B Animation No edit summary
• 10:4710:47, 19 January 2010 diff hist +128 Tutorial Understanding the Complexity of B Animation No edit summary
• 10:4510:45, 19 January 2010 diff hist +280 Tutorial Understanding the Complexity of B Animation →Complexity of Animation
• 10:3710:37, 19 January 2010 diff hist +594 Tutorial Understanding the Complexity of B Animation →Complexity of Animation
• 10:3110:31, 19 January 2010 diff hist +232 Tutorial Understanding the Complexity of B Animation No edit summary
• 10:2710:27, 19 January 2010 diff hist +1,003 Tutorial Understanding the Complexity of B Animation No edit summary
• 10:1910:19, 19 January 2010 diff hist 0 N File:ProB GoldbachAfterInit.png No edit summary current
• 10:1910:19, 19 January 2010 diff hist +491 Tutorial Understanding the Complexity of B Animation →Undecidability
• 10:1310:13, 19 January 2010 diff hist +1,268 N Tutorial Understanding the Complexity of B Animation Created page with 'Category:Tutorial We assume that you grasped the way that ProB setups up the initial states of a B machine as outlined in Tutorial Setup Phases. In this lesson, we exa…'
• 09:5809:58, 19 January 2010 diff hist −3 Tutorial Troubleshooting the Setup No edit summary
• 09:5809:58, 19 January 2010 diff hist +123 Tutorial No edit summary
• 08:4908:49, 19 January 2010 diff hist +85 Tutorial Troubleshooting the Setup No edit summary
• 08:4808:48, 19 January 2010 diff hist 0 N File:ProB Jukebox AnalyseGraphicallyOperationPRE.png No edit summary current
• 08:4808:48, 19 January 2010 diff hist 0 N File:ProB Jukebox AnalyseGraphicallyOperationPRE3.png No edit summary current
• 08:4808:48, 19 January 2010 diff hist +1,061 Tutorial Troubleshooting the Setup No edit summary
• 08:3708:37, 19 January 2010 diff hist 0 N File:ProB Jukebox AnalyseGraphicallyCustom3.png No edit summary current
• 08:3608:36, 19 January 2010 diff hist 0 N File:ProB Jukebox AnalyseGraphicallyCustomCommand.png No edit summary current
• 08:3608:36, 19 January 2010 diff hist −57 Tutorial Troubleshooting the Setup No edit summary
• 08:3508:35, 19 January 2010 diff hist +978 Tutorial Troubleshooting the Setup No edit summary
• 08:2808:28, 19 January 2010 diff hist +18 Tutorial Troubleshooting the Setup No edit summary
• 08:2608:26, 19 January 2010 diff hist 0 N File:ProB JukeboxAfterInit3.png No edit summary current
• 08:2608:26, 19 January 2010 diff hist 0 N File:ProB Jukebox AnalyseGraphicallyUnsatProp2.png No edit summary current
• 08:2608:26, 19 January 2010 diff hist 0 File:ProB Jukebox AnalyseGraphicallyUnsatAssertion3.png uploaded a new version of "File:ProB Jukebox AnalyseGraphicallyUnsatAssertion3.png" current
• 08:2508:25, 19 January 2010 diff hist 0 N File:ProB Jukebox DebugUnsatProp2.png No edit summary current
• 08:2508:25, 19 January 2010 diff hist 0 N File:ProB Jukebox AnalyseGraphicallyUnsatAssertion3.png No edit summary
• 08:2408:24, 19 January 2010 diff hist +1,638 Tutorial Troubleshooting the Setup No edit summary

18 January 2010

• 16:5516:55, 18 January 2010 diff hist +87 Tutorial Troubleshooting the Setup No edit summary
• 16:5416:54, 18 January 2010 diff hist 0 N File:ProB JukeboxAfterLoad2.png No edit summary current
• 16:5416:54, 18 January 2010 diff hist +590 Tutorial Troubleshooting the Setup No edit summary
• 16:4716:47, 18 January 2010 diff hist −28 Tutorial Troubleshooting the Setup No edit summary
• 16:4716:47, 18 January 2010 diff hist 0 N File:ProB Jukebox UnsatProp.png No edit summary current
• 16:4616:46, 18 January 2010 diff hist 0 N File:ProB Jukebox DebugUnsatProp.png No edit summary current
• 16:4616:46, 18 January 2010 diff hist 0 N File:ProB Jukebox AnalyseGraphicallyCommand.png No edit summary current
• 16:4616:46, 18 January 2010 diff hist 0 N File:ProB Jukebox AnalyseGraphicallyUnsatProp.png No edit summary current
• 16:4616:46, 18 January 2010 diff hist +983 Tutorial Troubleshooting the Setup No edit summary
• 16:3816:38, 18 January 2010 diff hist +689 N Tutorial Troubleshooting the Setup Created page with 'Category:User Manual We assume that you grasped the way that ProB setups up the initial states of a B machine as outlined in Tutorial Setup Phases. In this lesson, we …'
• 16:3616:36, 18 January 2010 diff hist +41 Tutorial No edit summary
• 16:3116:31, 18 January 2010 diff hist +23 Tutorial Setup Phases →3. INITIALISATION
• 16:3016:30, 18 January 2010 diff hist +31 Tutorial Setup Phases →1. Loading
• 16:2916:29, 18 January 2010 diff hist +266 Tutorial Setup Phases No edit summary
• 16:2616:26, 18 January 2010 diff hist 0 N File:ProB Jukebox Statespace.png No edit summary current
• 16:2616:26, 18 January 2010 diff hist 0 N File:ProB JukeboxReopenCommand.png No edit summary current