User contributions for Jens Bendisposto - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Jens Bendisposto

Results for Jens Bendisposto talk block log uploads logs

A user with 889 edits. Account created on 5 November 2009.

15:1015:10, 12 September 2011 diff hist 0 Download →Earlier Releases

09:2909:29, 9 September 2011 diff hist −2 Download →Nightly Build

05:2805:28, 6 September 2011 diff hist −11 Download No edit summary

02:4102:41, 26 April 2011 diff hist +12 Getting Involved →Setup target platform

12:2012:20, 20 April 2011 diff hist −18 Developer Manual No edit summary
12:2012:20, 20 April 2011 diff hist +30 Getting Involved No edit summary
12:1912:19, 20 April 2011 diff hist −19 Getting Involved No edit summary
12:1912:19, 20 April 2011 diff hist −30 Getting Involved No edit summary
12:1912:19, 20 April 2011 diff hist −170 Getting Involved →What now?
12:1812:18, 20 April 2011 diff hist −373 Getting Involved →Setup Problem Filter
12:1812:18, 20 April 2011 diff hist +841 Getting Involved →Checkout sources
11:4811:48, 20 April 2011 diff hist −764 Getting Involved →Checkout sources

12:3112:31, 17 March 2011 diff hist 0 N File:ProB Logo.jpg No edit summary current
10:5910:59, 17 March 2011 diff hist +142 Download No edit summary

05:5005:50, 6 March 2011 diff hist +2 Adding to an existing menu No edit summary

08:4408:44, 3 March 2011 diff hist +88 N MediaWiki:Deletereason-dropdown Created page with '*Common delete reasons ** Outdated ** Author request ** Copyright violation ** Vandalism' current

09:2209:22, 2 March 2011 diff hist +247 Nm User talk:Stefan Hallerstede Welcome! current
09:2209:22, 2 March 2011 diff hist 0 Nm User:Stefan Hallerstede Creating user page with biography of new user. current

13:2813:28, 21 February 2011 diff hist +251 Nm User talk:Joy Clark Welcome! current
13:2813:28, 21 February 2011 diff hist 0 Nm User:Joy Clark Creating user page with biography of new user.

14:5714:57, 18 February 2011 diff hist +30 Building ProB on Windows No edit summary
14:5414:54, 18 February 2011 diff hist 0 Building ProB on Windows No edit summary
14:5314:53, 18 February 2011 diff hist +102 Building ProB on Windows No edit summary
14:5014:50, 18 February 2011 diff hist +1 Building ProB on Windows No edit summary
14:5014:50, 18 February 2011 diff hist +24 Building ProB on Windows No edit summary
14:4714:47, 18 February 2011 diff hist +9 Installation No edit summary
14:4714:47, 18 February 2011 diff hist +9 User Manual No edit summary

12:4812:48, 14 February 2011 diff hist +50 Building ProB on Windows No edit summary
12:4712:47, 14 February 2011 diff hist +2,253 Building ProB on Windows No edit summary
12:4212:42, 14 February 2011 diff hist +170 N Building ProB on Windows Created page with 'In case that you want to compile ProB from Source on Windows, here are some information about the setup: Required: # Sicstus (4.1.3) # Visual Studio 2005 # Cygwin & svn'
12:4112:41, 14 February 2011 diff hist +30 User:Jens Bendisposto No edit summary

09:4709:47, 29 December 2010 diff hist +20 Getting Involved No edit summary
09:4709:47, 29 December 2010 diff hist +19 Developer Manual No edit summary
09:4709:47, 29 December 2010 diff hist 0 Template:Restructuring No edit summary current
09:4609:46, 29 December 2010 diff hist +244 N Template:Restructuring Created page with '{| cellpadding="5" cellspacing="0" | style="background:#ED6666;" | File:out_of_date_icon.png | style="background:#ED6666;" | '''IMPORTANT''' We are currently restructuring th…'

15:3915:39, 13 October 2010 diff hist −145 Getting Involved →Checkout sources

09:1809:18, 14 September 2010 diff hist −22 Getting Involved →Setup

09:5509:55, 12 August 2010 diff hist +249 Nm User talk:Buengener Welcome! current
09:5509:55, 12 August 2010 diff hist 0 Nm User:Buengener Creating user page with biography of new user. current

11:1511:15, 10 August 2010 diff hist −45 User:Jens Bendisposto No edit summary
11:1311:13, 10 August 2010 diff hist +45 User:Jens Bendisposto No edit summary

16:2416:24, 28 July 2010 diff hist +36 User:Jens Bendisposto No edit summary

08:2208:22, 27 July 2010 diff hist +82 Tutorial Rodin First Step →Installation

06:4106:41, 26 July 2010 diff hist +312 Getting Involved →The Prolog Sources

12:1412:14, 13 July 2010 diff hist +31 N Organization of ProB Sources Created page with 'The ProB sources consist of ...' current
12:1312:13, 13 July 2010 diff hist +422 Getting Involved No edit summary
12:0612:06, 13 July 2010 diff hist +170 Getting Involved →Setup Mylyn
11:5911:59, 13 July 2010 diff hist +30 Getting Involved No edit summary

10:2810:28, 12 July 2010 diff hist −6 Download No edit summary
10:2610:26, 12 July 2010 diff hist +89 Download →Earlier Releases

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Jens_Bendisposto"