User contributions for Lukas Ladenberger

27 February 2015

• 11:5811:58, 27 February 2015 diff hist +4‎ ABZ14 ‎ →‎ProB BMotion Studio Video

26 February 2015

• 12:4012:40, 26 February 2015 diff hist 0‎ BMotion Studio ‎No edit summary
• 11:3111:31, 26 February 2015 diff hist 0‎ ABZ14 ‎ →‎ProB Live Visualisations
• 10:5210:52, 26 February 2015 diff hist −1‎ ABZ14 ‎ →‎ProB Live Visualisations

14 February 2015

• 22:1222:12, 14 February 2015 diff hist +9‎ ABZ14 ‎ →‎Resources
• 22:1222:12, 14 February 2015 diff hist 0‎ File:LandingGear.zip ‎ uploaded a new version of "File:LandingGear.zip" current

13 February 2015

• 12:2912:29, 13 February 2015 diff hist −143‎ ABZ14 ‎ →‎ProB Live Visualisations of other Event-B models (click to join)
• 08:3208:32, 13 February 2015 diff hist +17‎ ABZ14 ‎ →‎ProB Live Visualisations of other Event-B models
• 08:3008:30, 13 February 2015 diff hist +193‎ ABZ14 ‎No edit summary
• 08:2708:27, 13 February 2015 diff hist +6‎ ABZ14 ‎No edit summary
• 08:2608:26, 13 February 2015 diff hist +385‎ ABZ14 ‎No edit summary
• 08:1908:19, 13 February 2015 diff hist +1‎ ABZ14 ‎ →‎ProB Live Visualisations of Event-B models
• 08:0508:05, 13 February 2015 diff hist +109‎ ABZ14 ‎ →‎ProB Live Visualisations of Event-B models

12 February 2015

• 21:5121:51, 12 February 2015 diff hist +19‎ ABZ14 ‎No edit summary
• 21:5121:51, 12 February 2015 diff hist +15‎ ABZ14 ‎No edit summary
• 21:5021:50, 12 February 2015 diff hist +332‎ ABZ14 ‎No edit summary
• 21:4421:44, 12 February 2015 diff hist +181‎ ABZ14 ‎No edit summary
• 21:4121:41, 12 February 2015 diff hist 0‎ ABZ14 ‎ →‎ProB Live Visualization (click to join)

30 January 2015

• 12:1612:16, 30 January 2015 diff hist −27‎ ABZ14 ‎ →‎ProB Live Visualization (click to join)
• 12:1512:15, 30 January 2015 diff hist 0‎ File:Landing gear.png ‎ uploaded a new version of "File:Landing gear.png" current
• 12:1412:14, 30 January 2015 diff hist +27‎ ABZ14 ‎ →‎ProB Live Visualization (click to join)
• 12:0712:07, 30 January 2015 diff hist −29‎ ABZ14 ‎ →‎ProB Live Visualization (click to join)

20 January 2015

• 14:1414:14, 20 January 2015 diff hist +338‎ BMotion Studio ‎No edit summary

19 January 2015

• 16:2416:24, 19 January 2015 diff hist +2‎ BMotion Studio ‎No edit summary

5 January 2015

• 12:2912:29, 5 January 2015 diff hist +48‎ ProB Java API ‎ →‎Documentation

21 November 2014

• 11:0311:03, 21 November 2014 diff hist +76‎ BMotion Studio ‎No edit summary

19 November 2014

• 16:5616:56, 19 November 2014 diff hist +51‎ BMotion Studio ‎No edit summary
• 14:4814:48, 19 November 2014 diff hist +8‎ BMotion Studio ‎No edit summary
• 12:2312:23, 19 November 2014 diff hist +80‎ BMotion Studio ‎No edit summary
• 12:1812:18, 19 November 2014 diff hist +45‎ BMotion Studio ‎No edit summary
• 11:3811:38, 19 November 2014 diff hist +334‎ BMotion Studio ‎No edit summary
• 11:3411:34, 19 November 2014 diff hist +40‎ BMotion Studio ‎No edit summary
• 11:3411:34, 19 November 2014 diff hist +6‎ BMotion Studio ‎No edit summary
• 11:3311:33, 19 November 2014 diff hist 0‎ N File:Bmotion logo.png ‎No edit summary current
• 11:3211:32, 19 November 2014 diff hist +28‎ BMotion Studio ‎No edit summary
• 11:3111:31, 19 November 2014 diff hist +46‎ BMotion Studio ‎No edit summary
• 11:2411:24, 19 November 2014 diff hist +241‎ BMotion Studio ‎No edit summary

6 November 2014

• 13:3913:39, 6 November 2014 diff hist −18‎ LTL Model Checking ‎No edit summary
• 13:2613:26, 6 November 2014 diff hist +18‎ LTL Model Checking ‎No edit summary

3 November 2014

• 13:2613:26, 3 November 2014 diff hist +21‎ N BMotion Studio Tutorial ‎ Created page with '== Getting Started ==' current
• 13:2213:22, 3 November 2014 diff hist +335‎ BMotion Studio ‎No edit summary

31 October 2014

• 13:4713:47, 31 October 2014 diff hist −16‎ MediaWiki:Sidebar ‎No edit summary
• 13:4713:47, 31 October 2014 diff hist +10‎ MediaWiki:Sidebar ‎No edit summary
• 13:4613:46, 31 October 2014 diff hist +14‎ MediaWiki:Sidebar ‎No edit summary
• 13:4613:46, 31 October 2014 diff hist +11‎ MediaWiki:Sidebar ‎No edit summary
• 13:1313:13, 31 October 2014 diff hist +25‎ N ProB for TLA ‎ Created page with 'ProB for TLA Landing Page'

30 October 2014

• 15:3015:30, 30 October 2014 diff hist +27‎ ProB 2.0 within Rodin and a HTML Visualization Example ‎No edit summary current
• 15:3015:30, 30 October 2014 diff hist +28‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
• 15:2915:29, 30 October 2014 diff hist +28‎ Programmatic Abstractions in the ProB 2.0 API ‎No edit summary
• 15:2915:29, 30 October 2014 diff hist +27‎ ProB 2.0 Development ‎No edit summary