User contributions for Daniel Plagge

6 May 2011

• 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
• 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 |}'