User contributions for Jens Bendisposto

11:1711:17, 26 March 2015 diff hist +52‎ N Sefm2015 ‎ Created page with '{{DISPLAYTITLE:Benchmarks for the ProB (Dis)prover}}'
11:1611:16, 26 March 2015 diff hist +119‎ N Benchmarks ‎ Created page with 'Here you will find links to benchmarks (sometimes with raw data) we produced to evaluate ProB. Disprover' current
11:1411:14, 26 March 2015 diff hist +25‎ MediaWiki:Sidebar ‎No edit summary

12:1712:17, 18 March 2015 diff hist +39‎ ParB ‎ →‎Running in the Cloud/Cluster
12:1412:14, 18 March 2015 diff hist +790‎ ParB ‎No edit summary
10:4110:41, 18 March 2015 diff hist +71‎ DMC ‎No edit summary
10:3110:31, 18 March 2015 diff hist +211‎ ParB ‎No edit summary
10:2710:27, 18 March 2015 diff hist −4‎ ParB ‎No edit summary
10:2010:20, 18 March 2015 diff hist +1,779‎ ParB ‎No edit summary

17:3417:34, 16 March 2015 diff hist +71‎ N ParB ‎ Created page with 'This page explains how to run the distributed model checking Prototype.'
17:3417:34, 16 March 2015 diff hist −6‎ User:Jens Bendisposto ‎No edit summary
17:3217:32, 16 March 2015 diff hist +110‎ N DMC ‎ Created page with 'This page explains the methodology of the experiments carried out to evaluate the distributed version of ProB.'
17:3117:31, 16 March 2015 diff hist −36‎ User:Jens Bendisposto ‎No edit summary
11:1411:14, 16 March 2015 diff hist +16‎ User:Jens Bendisposto ‎No edit summary
11:1311:13, 16 March 2015 diff hist −16‎ Template:Feedback ‎No edit summary
11:1211:12, 16 March 2015 diff hist +16‎ Template:Feedback ‎ →‎Feedback
11:1011:10, 16 March 2015 diff hist +13‎ User:Jens Bendisposto ‎No edit summary
11:1011:10, 16 March 2015 diff hist +32‎ User:Jens Bendisposto ‎No edit summary

08:0708:07, 16 February 2015 diff hist +230‎ ABZ14 ‎No edit summary

16:0216:02, 12 January 2015 diff hist +2‎ Prob2-advance-release ‎No edit summary current
16:0116:01, 12 January 2015 diff hist 0‎ File:Install prob2.png ‎ uploaded a new version of "File:Install prob2.png" current
16:0016:00, 12 January 2015 diff hist 0‎ N File:Install prob2.png ‎No edit summary
16:0016:00, 12 January 2015 diff hist +289‎ Prob2-advance-release ‎No edit summary
15:4915:49, 12 January 2015 diff hist +139‎ Prob2-advance-release ‎No edit summary

07:1407:14, 29 November 2014 diff hist −4‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Constraint solver

09:2309:23, 27 November 2014 diff hist +4‎ Prob2-advance-release ‎No edit summary
09:2309:23, 27 November 2014 diff hist +7‎ Prob2-advance-release ‎No edit summary
09:1909:19, 27 November 2014 diff hist +30‎ N Prob2-advance-release ‎ Created page with '== ProB 2.0 Advance Release =='

08:5908:59, 26 November 2014 diff hist +28‎ N Prob2-alpha ‎ Created page with '== ProB 2.0 Alpha Release ==' current

11:1011:10, 23 July 2014 diff hist +41‎ Installation ‎No edit summary
10:1810:18, 23 July 2014 diff hist 0‎ ABZ14 ‎No edit summary

14:5614:56, 11 July 2014 diff hist 0‎ ABZ14 ‎ →‎ProB Live Visualization (click to join)

13:5213:52, 10 July 2014 diff hist −23‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Traces

20:0920:09, 5 July 2014 diff hist −543‎ ProB Java API Tutorial ‎ →‎Classical B

11:2611:26, 1 July 2014 diff hist 0‎ ABZ14 ‎No edit summary

05:5205:52, 4 June 2014 diff hist −8‎ ABZ14 ‎ Undo revision 2167 by Jens Bendisposto (Talk)

06:0606:06, 6 April 2014 diff hist +8‎ ABZ14 ‎No edit summary

15:1015:10, 18 March 2014 diff hist +6‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎The State Space

13:0613:06, 11 March 2014 diff hist 0‎ ABZ14 ‎No edit summary

12:2712:27, 20 February 2014 diff hist 0‎ ABZ14 ‎No edit summary

13:3813:38, 18 February 2014 diff hist 0‎ ABZ14 ‎No edit summary

08:4608:46, 17 February 2014 diff hist 0‎ ABZ14 ‎No edit summary

12:5012:50, 14 February 2014 diff hist +16‎ ABZ14 ‎ →‎Live Visualization
12:4912:49, 14 February 2014 diff hist +242‎ ABZ14 ‎No edit summary
12:4212:42, 14 February 2014 diff hist 0‎ N File:Landing gear.png ‎No edit summary
12:4212:42, 14 February 2014 diff hist 0‎ N File:Langing gear.png ‎No edit summary current

15:4715:47, 3 February 2014 diff hist +125‎ ABZ14 ‎ →‎Links
15:4515:45, 3 February 2014 diff hist +278‎ ABZ14 ‎No edit summary
15:4115:41, 3 February 2014 diff hist +57‎ ABZ14 ‎No edit summary
15:4015:40, 3 February 2014 diff hist +13‎ ABZ14 ‎ →‎Ressources
15:4015:40, 3 February 2014 diff hist 0‎ N File:LandingGear.zip ‎No edit summary
15:4015:40, 3 February 2014 diff hist −16‎ ABZ14 ‎No edit summary
15:1615:16, 3 February 2014 diff hist −16‎ m ABZ14 ‎ →‎Video
15:1315:13, 3 February 2014 diff hist +30‎ ABZ14 ‎No edit summary
15:1115:11, 3 February 2014 diff hist +4‎ ABZ14 ‎No edit summary
15:0715:07, 3 February 2014 diff hist −15‎ ABZ14 ‎ →‎Video

16:3916:39, 31 January 2014 diff hist +16‎ N ABZ14 ‎ Created page with '== Case Study =='

11:4911:49, 2 October 2013 diff hist +2‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Setup

06:5206:52, 9 September 2013 diff hist +1‎ Game of Life ‎No edit summary current

13:2713:27, 22 August 2013 diff hist +7‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Evaluation

20:4120:41, 28 June 2013 diff hist +32‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Constraint solver
20:4020:40, 28 June 2013 diff hist +23‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Evaluation
20:3720:37, 28 June 2013 diff hist +17‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Traces
20:3620:36, 28 June 2013 diff hist +12‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎The State Space
20:3320:33, 28 June 2013 diff hist +1‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎The State Space
20:3220:32, 28 June 2013 diff hist +23‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎The model
20:3020:30, 28 June 2013 diff hist +1‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Preparation

08:0808:08, 20 June 2013 diff hist 0‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:0708:07, 20 June 2013 diff hist +31‎ N Template:Bugtrack ‎ moved Template:Bugtrack to Template:Feedback current
08:0708:07, 20 June 2013 diff hist 0‎ m Template:Feedback ‎ moved Template:Bugtrack to Template:Feedback
08:0708:07, 20 June 2013 diff hist +1‎ Template:Feedback ‎No edit summary

08:4608:46, 19 June 2013 diff hist −10‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:4608:46, 19 June 2013 diff hist +14‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:4608:46, 19 June 2013 diff hist −9‎ User:Jens Bendisposto ‎No edit summary
08:4508:45, 19 June 2013 diff hist +774‎ N Template:Feedback ‎ Created page with '== Feedback == <html> <script type="text/javascript" src="http://jira.cobra.cs.uni-duesseldorf.de/s/en_UStsb6zr-418945332/850/2/1.2.9/_/download/batch/com.atlassian.jira.collect…'
08:4508:45, 19 June 2013 diff hist −8‎ User:Jens Bendisposto ‎No edit summary
08:4308:43, 19 June 2013 diff hist +118‎ Jens Bendisposto:Bugtrack ‎No edit summary current
08:4008:40, 19 June 2013 diff hist +50‎ Jens Bendisposto:Bugtrack ‎No edit summary
08:3108:31, 19 June 2013 diff hist +14‎ Jens Bendisposto:Bugtrack ‎No edit summary
08:3008:30, 19 June 2013 diff hist +592‎ N Jens Bendisposto:Bugtrack ‎ Created page with '<script type="text/javascript" src="http://jira.cobra.cs.uni-duesseldorf.de/s/en_UStsb6zr-418945332/850/2/1.2.9/_/download/batch/com.atlassian.jira.collector.plugin.jira-issue-co…'
08:3008:30, 19 June 2013 diff hist −209‎ User:Jens Bendisposto ‎No edit summary
08:3008:30, 19 June 2013 diff hist +17‎ User:Jens Bendisposto ‎No edit summary
08:2908:29, 19 June 2013 diff hist −91‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:2408:24, 19 June 2013 diff hist −116,600‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:2308:23, 19 June 2013 diff hist +115,960‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:1908:19, 19 June 2013 diff hist −4‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ →‎Provide Feedback
08:1808:18, 19 June 2013 diff hist +125‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:1508:15, 19 June 2013 diff hist +610‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:1008:10, 19 June 2013 diff hist 0‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:1008:10, 19 June 2013 diff hist 0‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:0908:09, 19 June 2013 diff hist −3‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
08:0908:09, 19 June 2013 diff hist +53‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary

12:3912:39, 13 June 2013 diff hist −1‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
12:3912:39, 13 June 2013 diff hist +11‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
12:3812:38, 13 June 2013 diff hist +9,173‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
11:2111:21, 13 June 2013 diff hist −10‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
11:2011:20, 13 June 2013 diff hist −3‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
11:1911:19, 13 June 2013 diff hist −9‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
11:1711:17, 13 June 2013 diff hist +1,175‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
09:4609:46, 13 June 2013 diff hist 0‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
09:4209:42, 13 June 2013 diff hist +23‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
09:4109:41, 13 June 2013 diff hist +58‎ N File:Scheduler tutorial2013.zip ‎ Example Project for Rodin User and Developer Workshop 2013 current
09:4009:40, 13 June 2013 diff hist +751‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
09:2109:21, 13 June 2013 diff hist −103‎ Rodin User and Developer Workshop 2013 - Tutorial ‎ Blanked the page

09:4609:46, 10 April 2013 diff hist +100‎ Rodin User and Developer Workshop 2013 - Tutorial ‎No edit summary
09:3509:35, 10 April 2013 diff hist +62‎ Tutorial13 ‎ Redirected page to Rodin User and Developer Workshop 2013 - Tutorial current
09:3409:34, 10 April 2013 diff hist +1‎ N Tutorial13 ‎ Created page with 'x'
09:3409:34, 10 April 2013 diff hist −54‎ Developer Manual ‎No edit summary
09:3309:33, 10 April 2013 diff hist +3‎ N Rodin User and Developer Workshop 2013 - Tutorial ‎ Created page with 'tbd'
09:3309:33, 10 April 2013 diff hist +54‎ Developer Manual ‎No edit summary
09:3309:33, 10 April 2013 diff hist +11‎ Developer Manual ‎No edit summary
09:2309:23, 10 April 2013 diff hist +2‎ Developer Manual ‎No edit summary
09:2309:23, 10 April 2013 diff hist −26‎ Developer Manual ‎No edit summary
09:2309:23, 10 April 2013 diff hist +80‎ Developer Manual ‎No edit summary

11:0611:06, 24 March 2013 diff hist −94‎ Developer Manual ‎ →‎Git Migration

14:2914:29, 7 March 2013 diff hist −6‎ Download ‎No edit summary

14:3014:30, 1 February 2013 diff hist +83‎ Developer Manual ‎ →‎ProB 2.0
10:2710:27, 1 February 2013 diff hist +69‎ Developer Manual ‎No edit summary

09:5709:57, 29 January 2013 diff hist +1‎ Developer Manual ‎No edit summary
09:5709:57, 29 January 2013 diff hist +22‎ Developer Manual ‎No edit summary

13:4413:44, 23 November 2012 diff hist +46‎ Download ‎No edit summary
13:4413:44, 23 November 2012 diff hist +130‎ Download ‎No edit summary

04:3204:32, 24 October 2012 diff hist +58‎ Download ‎ →‎Timed-CSP Simulator
04:2804:28, 24 October 2012 diff hist +38‎ Download ‎ →‎Timed-CSP Simulator

15:3815:38, 4 October 2012 diff hist −2,890‎ Getting Involved ‎ Replaced content with 'Category:Developer Manual __NOTOC__ see the README in our [https://github.com/bendisposto/prob Github Repository]'

09:5109:51, 13 September 2012 diff hist +252‎ Nm User talk:Marc Buengener ‎ Welcome! current
09:5109:51, 13 September 2012 diff hist 0‎ Nm User:Marc Buengener ‎ Creating user page with biography of new user. current

08:4508:45, 7 September 2012 diff hist +139‎ Jens Bendisposto:Model Checkers ‎No edit summary
08:4408:44, 7 September 2012 diff hist +1,192‎ N Jens Bendisposto:Model Checkers ‎ Created page with '*'''SPIN ''' http://spinroot.com/spin/whatispin.html *'''PAT ''' http://www.comp.nus.edu.sg/~pat/ *'''MALPAS ''' http://www.atkinsglobal.co.uk/sectors-and-services/sectors/d…'
08:4208:42, 7 September 2012 diff hist +2,483‎ N Jens Bendisposto:Conferences ‎ Created page with '* '''VMCAI ''' International Conference on Verification, Model Checking, and Abstract Interpretation * '''CAV ''' International Conference on Computer Aided Verification *…'
08:3808:38, 7 September 2012 diff hist +1‎ User:Jens Bendisposto ‎No edit summary
08:3708:37, 7 September 2012 diff hist +70‎ User:Jens Bendisposto ‎No edit summary

11:5511:55, 22 August 2012 diff hist +6‎ User:Jens Bendisposto ‎No edit summary

19:1919:19, 6 August 2012 diff hist +49‎ Team ‎No edit summary

11:4311:43, 21 June 2012 diff hist +247‎ Nm User talk:Sebastian Krings ‎ Welcome! current
11:4311:43, 21 June 2012 diff hist 0‎ Nm User:Sebastian Krings ‎ Creating user page with biography of new user. current

10:5410:54, 8 June 2012 diff hist −115‎ ProB Logic Calculator ‎No edit summary
10:5210:52, 8 June 2012 diff hist +29‎ ProB Logic Calculator ‎No edit summary
10:5010:50, 8 June 2012 diff hist 0‎ ProB Logic Calculator ‎No edit summary
10:5010:50, 8 June 2012 diff hist 0‎ ProB Logic Calculator ‎No edit summary
10:5010:50, 8 June 2012 diff hist 0‎ ProB Logic Calculator ‎No edit summary
10:5010:50, 8 June 2012 diff hist −1‎ ProB Logic Calculator ‎No edit summary
10:4910:49, 8 June 2012 diff hist −1‎ ProB Logic Calculator ‎No edit summary
10:4910:49, 8 June 2012 diff hist +9,696‎ ProB Logic Calculator ‎No edit summary
10:4810:48, 8 June 2012 diff hist +39‎ N ProB Logic Calculator ‎ moved ProB Logic Calculator to ProB Logic Calculator old over redirect
10:4810:48, 8 June 2012 diff hist +1‎ User:Jens Bendisposto ‎No edit summary
10:4210:42, 8 June 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary
10:3610:36, 8 June 2012 diff hist −1‎ m User:Jens Bendisposto ‎No edit summary
10:3610:36, 8 June 2012 diff hist +8‎ User:Jens Bendisposto ‎No edit summary
10:3010:30, 8 June 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary

20:4620:46, 31 May 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary

07:3807:38, 18 May 2012 diff hist +328‎ Getting Involved ‎ →‎Setup target platform

12:1612:16, 17 May 2012 diff hist +29‎ User:Jens Bendisposto ‎No edit summary
12:1512:15, 17 May 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary
12:1512:15, 17 May 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary
12:1512:15, 17 May 2012 diff hist +11‎ User:Jens Bendisposto ‎No edit summary
12:1412:14, 17 May 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary
12:1412:14, 17 May 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary
12:0412:04, 17 May 2012 diff hist +1‎ User:Jens Bendisposto ‎No edit summary
11:4011:40, 17 May 2012 diff hist −60‎ User:Jens Bendisposto ‎No edit summary
11:3911:39, 17 May 2012 diff hist −1‎ User:Jens Bendisposto ‎No edit summary
11:3811:38, 17 May 2012 diff hist +201‎ User:Jens Bendisposto ‎No edit summary

18:1418:14, 16 May 2012 diff hist +4‎ Getting Involved ‎ →‎The Parser Library
18:1318:13, 16 May 2012 diff hist −250‎ Getting Involved ‎ →‎Content of the repository
18:1218:12, 16 May 2012 diff hist −166‎ Getting Involved ‎No edit summary
18:1218:12, 16 May 2012 diff hist −436‎ Getting Involved ‎ →‎Setup

12:4912:49, 4 May 2012 diff hist +245‎ Nm User talk:Marc Fontaine ‎ Welcome! current
12:4912:49, 4 May 2012 diff hist 0‎ Nm User:Marc Fontaine ‎ Creating user page with biography of new user. current

11:1211:12, 26 April 2012 diff hist +6‎ Bugs ‎No edit summary
11:0811:08, 26 April 2012 diff hist +1‎ Bugs ‎No edit summary
11:0811:08, 26 April 2012 diff hist +3‎ Bugs ‎No edit summary
11:0711:07, 26 April 2012 diff hist +18‎ Bugs ‎No edit summary
11:0511:05, 26 April 2012 diff hist +122‎ Bugs ‎No edit summary
11:0411:04, 26 April 2012 diff hist 0‎ N File:Jira.png ‎No edit summary current
11:0311:03, 26 April 2012 diff hist −8‎ Bugs ‎No edit summary

11:5311:53, 16 April 2012 diff hist 0‎ MediaWiki:Sidebar ‎No edit summary
11:5311:53, 16 April 2012 diff hist +23‎ MediaWiki:Sidebar ‎No edit summary
11:5211:52, 16 April 2012 diff hist −59‎ ProBLicence ‎No edit summary

11:3311:33, 30 March 2012 diff hist −18‎ Template:Shell ‎No edit summary current
11:3311:33, 30 March 2012 diff hist +8‎ User:Jens Bendisposto ‎No edit summary
11:3211:32, 30 March 2012 diff hist +4‎ Template:Shell ‎No edit summary
11:2911:29, 30 March 2012 diff hist +23‎ Template:Shell ‎No edit summary
11:2411:24, 30 March 2012 diff hist +16‎ Template:Shell ‎No edit summary
11:2311:23, 30 March 2012 diff hist +1‎ Template:Shell ‎No edit summary
11:1111:11, 30 March 2012 diff hist +27‎ Template:Shell ‎No edit summary
11:1011:10, 30 March 2012 diff hist +38‎ Template:Shell ‎No edit summary
11:0911:09, 30 March 2012 diff hist +141‎ N Template:Shell ‎ Created page with '<html> <iframe src="exshell.php" width="90%" height="400" name="ProB Shell"> <p>Your Browser does not suport IFrames.</p> </iframe> </html>'
11:0811:08, 30 March 2012 diff hist +20‎ User:Jens Bendisposto ‎No edit summary
10:5910:59, 30 March 2012 diff hist −49‎ Developer Manual ‎No edit summary
10:5910:59, 30 March 2012 diff hist −4‎ Developer Manual ‎No edit summary
10:0410:04, 30 March 2012 diff hist +53‎ Developer Manual ‎No edit summary

10:4310:43, 4 March 2012 diff hist −80‎ Links ‎ →‎ProB

10:2710:27, 28 February 2012 diff hist +5‎ Developer Manual ‎No edit summary
10:2710:27, 28 February 2012 diff hist +64‎ Developer Manual ‎No edit summary
10:2410:24, 28 February 2012 diff hist +2‎ Developer Manual ‎No edit summary
10:2410:24, 28 February 2012 diff hist −55‎ Developer Manual ‎No edit summary
10:2410:24, 28 February 2012 diff hist 0‎ N File:Extending prob.pdf ‎No edit summary current
10:2310:23, 28 February 2012 diff hist +1‎ Developer Manual ‎No edit summary
10:2310:23, 28 February 2012 diff hist +2‎ Developer Manual ‎No edit summary
10:2310:23, 28 February 2012 diff hist −1‎ Developer Manual ‎No edit summary
10:2310:23, 28 February 2012 diff hist +265‎ Developer Manual ‎No edit summary

06:1506:15, 25 February 2012 diff hist +88‎ Developer Manual ‎No edit summary

10:2210:22, 24 February 2012 diff hist −110‎ Adding an own submenu ‎No edit summary current
10:1910:19, 24 February 2012 diff hist +102‎ User:Jens Bendisposto ‎No edit summary
10:1810:18, 24 February 2012 diff hist 0‎ User:Jens Bendisposto ‎No edit summary
10:1810:18, 24 February 2012 diff hist +18‎ User:Jens Bendisposto ‎No edit summary

16:2916:29, 10 February 2012 diff hist −1‎ Getting Involved ‎ →‎The Parser Library
16:2916:29, 10 February 2012 diff hist +154‎ Getting Involved ‎ →‎The Parser Library
16:2616:26, 10 February 2012 diff hist +324‎ Getting Involved ‎ →‎The Parser Library
16:2016:20, 10 February 2012 diff hist +43‎ Getting Involved ‎ →‎The Parser Library
16:1916:19, 10 February 2012 diff hist +175‎ Getting Involved ‎ →‎The Prolog Sources

13:4913:49, 27 January 2012 diff hist +250‎ Nm User talk:Dominik Hansen ‎ Welcome! current
13:4913:49, 27 January 2012 diff hist 0‎ Nm User:Dominik Hansen ‎ Creating user page with biography of new user. current

01:5001:50, 23 December 2011 diff hist +10‎ Links ‎No edit summary

User contributions for Jens Bendisposto

13 February 2020

19 July 2018

20 June 2018

14 February 2018

13 February 2018

7 February 2018

6 October 2017

4 October 2017

30 September 2016

29 July 2016

15 October 2015

18 September 2015

14 September 2015

22 June 2015

27 April 2015

26 April 2015

17 April 2015

9 April 2015

26 March 2015

18 March 2015

16 March 2015

16 February 2015

12 January 2015

29 November 2014

27 November 2014

26 November 2014

23 July 2014

11 July 2014

10 July 2014

5 July 2014

1 July 2014

4 June 2014

6 April 2014

18 March 2014

11 March 2014

20 February 2014

18 February 2014

17 February 2014

14 February 2014

3 February 2014

31 January 2014

2 October 2013

9 September 2013

22 August 2013

28 June 2013

20 June 2013

19 June 2013

13 June 2013

10 April 2013

24 March 2013

7 March 2013

1 February 2013

29 January 2013

23 November 2012

24 October 2012

4 October 2012

13 September 2012

7 September 2012

22 August 2012

6 August 2012

21 June 2012

8 June 2012

31 May 2012

18 May 2012

17 May 2012

16 May 2012

4 May 2012

26 April 2012

16 April 2012

30 March 2012

4 March 2012

28 February 2012

25 February 2012

24 February 2012

10 February 2012

27 January 2012

23 December 2011