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