User contributions for Daniel Plagge

20:0020:00, 3 June 2014 diff hist +53 The ProB Animator and Model Checker Added link to theory page in news
19:5819:58, 3 June 2014 diff hist +33 Template:User Manual Index No edit summary
19:5719:57, 3 June 2014 diff hist +94 Event-B Theories →Tagging operators
19:5219:52, 3 June 2014 diff hist +1 Event-B Theories →Tagging operators
19:4119:41, 3 June 2014 diff hist −8 Event-B Theories →Tagging operators
19:4119:41, 3 June 2014 diff hist +1,281 Event-B Theories →Download Theories
19:2819:28, 3 June 2014 diff hist +685 Event-B Theories →Tagging operators
19:1919:19, 3 June 2014 diff hist +1,574 N Event-B Theories Created page with 'ProB has (limited) support for theories. Currently supported are (examples refer to the theory project below): * recursive datatypes (e.g. the List datatype) * operators defined…'

13:2013:20, 2 June 2014 diff hist +6 Event-B →Tagging operators current
13:1913:19, 2 June 2014 diff hist +37 Template:User Manual Index No edit summary
13:1813:18, 2 June 2014 diff hist 0 N File:Theories2.zip No edit summary current
13:1813:18, 2 June 2014 diff hist −14 Event-B →Download Theories
13:1813:18, 2 June 2014 diff hist +129 Event-B →Some theories
13:1513:15, 2 June 2014 diff hist +443 Event-B →Theories
13:0113:01, 2 June 2014 diff hist +2,248 N Event-B Created page with 'ProB supports animation and model-checking for Event-B specifications. == Installation == To install the ProB plugin for [http://www.event-b.org Rodin], open the "Help" menu in…'

08:1208:12, 28 January 2013 diff hist −6 Links →Miscellaneous

13:5113:51, 31 October 2012 diff hist +37 Using ProB with KODKOD →When is the Kokod translation used
13:5013:50, 31 October 2012 diff hist +723 Using ProB with KODKOD →What can be translated

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
15:0615:06, 19 January 2010 diff hist +93 N MediaWiki:Common.css Created page with '→CSS placed here will be applied to all skins: table.download { border:1px solid black }'
13:0213:02, 19 January 2010 diff hist +71 Download No edit summary
11:3411:34, 19 January 2010 diff hist +143 Download →Earlier Releases
11:3311:33, 19 January 2010 diff hist +215 Download →Latest Release
10:1210:12, 19 January 2010 diff hist +4 Download No edit summary
10:1110:11, 19 January 2010 diff hist −38 Download →Latest Release
10:0710:07, 19 January 2010 diff hist +363 Download No edit summary
09:3909:39, 19 January 2010 diff hist −17 Download →Development Release
09:3409:34, 19 January 2010 diff hist 0 N File:ProB-win-1.3.1final5.zip No edit summary current
09:3009:30, 19 January 2010 diff hist +2 Download →Development Release
09:2909:29, 19 January 2010 diff hist +100 Download →Development Release
09:1909:19, 19 January 2010 diff hist 0 N File:ProB-mactiger-1.3.1final3.tar.gz No edit summary current
09:1809:18, 19 January 2010 diff hist +140 Download →Development Release
09:1609:16, 19 January 2010 diff hist 0 N File:ProB-macsnow-1.3.1final5.tar.gz No edit summary current
09:1509:15, 19 January 2010 diff hist +257 Download No edit summary
08:5808:58, 19 January 2010 diff hist 0 N File:ProB-linux-1.3.1final5.tar.gz No edit summary current
08:5308:53, 19 January 2010 diff hist +3 Download No edit summary
08:5308:53, 19 January 2010 diff hist +57 Download No edit summary
08:5008:50, 19 January 2010 diff hist +42 N Download Created page with '{| ! Platform ! ProB version ! Download |}'

User contributions for Daniel Plagge

3 June 2014

2 June 2014

28 January 2013

31 October 2012

20 March 2012

8 March 2012

6 January 2012

21 November 2011

23 August 2011

11 May 2011

6 May 2011

6 April 2011

1 March 2011

11 February 2011

10 February 2011

3 February 2011

19 January 2011

31 July 2010

30 July 2010

11 February 2010

19 January 2010