User contributions for Daniel Plagge

20 March 2012

• 06:1306:13, 20 March 2012 diff hist +60 CSP-M →Command Line option for guided CSP||B
• 06:0906:09, 20 March 2012 diff hist +168 CSP-M →Guiding B Machines with CSP

8 March 2012

• 07:2607:26, 8 March 2012 diff hist −1 Test Case Generation →From the command line

6 January 2012

• 08:0708:07, 6 January 2012 diff hist +1 m Colours of enabled operations No edit summary current
• 07:5707:57, 6 January 2012 diff hist +847 N Colours of enabled operations Created page with 'The enabled operations are shown in different colours, depending on the state where the operation leads to. If more than one rule of the following list apply, the first colour is…'
• 07:2507:25, 6 January 2012 diff hist +81 General Presentation (tcl/tk) →The ProB Main Window

21 November 2011

• 12:3612:36, 21 November 2011 diff hist +1,227 Download 1.3.4 - final

23 August 2011

• 11:3211:32, 23 August 2011 diff hist +546 Using the Command-Line Version of ProB No edit summary
• 10:0610:06, 23 August 2011 diff hist +836 ProZ No edit summary

11 May 2011

• 07:0107:01, 11 May 2011 diff hist −55 ProZ →Known Limitations
• 06:5506:55, 11 May 2011 diff hist +65 m Using the Command-Line Version of ProB →-mcm_tests
• 06:5306:53, 11 May 2011 diff hist −5 Using the Command-Line Version of ProB →-mcm_tests
• 06:5306:53, 11 May 2011 diff hist +25 Using the Command-Line Version of ProB →-mcm_tests
• 06:5206:52, 11 May 2011 diff hist +11 Using the Command-Line Version of ProB →-mcm_cover
• 06:5106:51, 11 May 2011 diff hist +42 Using the Command-Line Version of ProB →-mcm_cover
• 06:5006:50, 11 May 2011 diff hist +44 Using the Command-Line Version of ProB →-mcm_cover
• 06:4606:46, 11 May 2011 diff hist +1,393 Using the Command-Line Version of ProB →-mcm_tests
• 06:1706:17, 11 May 2011 diff hist +48 Using the Command-Line Version of ProB →-mcm_tests

6 May 2011

• 07:1507:15, 6 May 2011 diff hist +239 Nm User talk:Lukas Ladenberger Welcome! current
• 07:1507:15, 6 May 2011 diff hist 0 Nm User:Lukas Ladenberger Creating user page with biography of new user. current

6 April 2011

• 10:3810:38, 6 April 2011 diff hist +1,087 Plan LTL Visualisation No edit summary current

1 March 2011

• 10:3410:34, 1 March 2011 diff hist +1 m Tutorial Complete Model Checking fixed typo

11 February 2011

• 09:2209:22, 11 February 2011 diff hist +48 Download →Latest Release

10 February 2011

• 15:5015:50, 10 February 2011 diff hist 0 Download →Latest Release
• 15:4915:49, 10 February 2011 diff hist −6 Download →Latest Release

3 February 2011

• 12:4112:41, 3 February 2011 diff hist +61 Plan LTL Visualisation →Ideen zu GUI
• 12:3912:39, 3 February 2011 diff hist +92 Plan LTL Visualisation →Ideen zu GUI

19 January 2011

• 13:4713:47, 19 January 2011 diff hist +13 Plan LTL Visualisation →Anzeige
• 13:2913:29, 19 January 2011 diff hist +191 Plan LTL Visualisation →Wichtige Punkte
• 13:0813:08, 19 January 2011 diff hist +128 Plan LTL Visualisation →Ideen zu GUI
• 13:0613:06, 19 January 2011 diff hist +54 Plan LTL Visualisation →Anzeige
• 13:0613:06, 19 January 2011 diff hist +48 Plan LTL Visualisation →Anzeige
• 13:0213:02, 19 January 2011 diff hist +197 Plan LTL Visualisation →Ideen zu GUI
• 12:5912:59, 19 January 2011 diff hist +13 Plan LTL Visualisation →Anzeige
• 12:5812:58, 19 January 2011 diff hist +7 Plan LTL Visualisation →Anzeige
• 12:5812:58, 19 January 2011 diff hist +211 Plan LTL Visualisation →Anzeige
• 12:5112:51, 19 January 2011 diff hist +242 Plan LTL Visualisation →Anzeige
• 12:4712:47, 19 January 2011 diff hist 0 N File:Ltl1.png No edit summary current
• 12:4612:46, 19 January 2011 diff hist +19 Plan LTL Visualisation →Anzeige
• 12:1712:17, 19 January 2011 diff hist +1,414 N Plan LTL Visualisation Created page with '= Wichtige Punkte = Diese Teile müssen bei der Implementation / Beschreibung in der Arbeit beachtet werden. == Schleifen, Deadlocks, und gekürzte Gegenbeispiele == Der Modelch…'
• 12:0312:03, 19 January 2011 diff hist +26 User:Daniel Plagge No edit summary current

31 July 2010

• 21:2921:29, 31 July 2010 diff hist 0 Download →Latest Release
• 21:2821:28, 31 July 2010 diff hist −23 Download →Latest Release
• 21:2721:27, 31 July 2010 diff hist +6 Download →Latest Release

30 July 2010

• 14:2514:25, 30 July 2010 diff hist −5 Download →Latest Release

11 February 2010

• 16:2016:20, 11 February 2010 diff hist +108 Download added Debian package
• 09:4009:40, 11 February 2010 diff hist −8 Download No edit summary

19 January 2010

• 15:1215:12, 19 January 2010 diff hist +44 MediaWiki:Common.css No edit summary current
• 15:1115:11, 19 January 2010 diff hist +10 MediaWiki:Common.css No edit summary
• 15:0715:07, 19 January 2010 diff hist −6 MediaWiki:Common.css No edit summary