Navigation
Special Pages
- Recent changes

User
- Log in

All public logs

Combined display of all available logs of ProB Documentation. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

07:15, 25 February 2012 Michael Leuschel talk contribs uploaded File:ProBRodinExport.png
10:22, 24 February 2012 Jens Bendisposto talk contribs deleted page What is the difference between the standalone and plugin version (content was: 'Category:Developer Manual' (and the only contributor was 'Jens Bendisposto'))
10:21, 24 February 2012 Jens Bendisposto talk contribs deleted page Jens Bendisposto:Build Process (content was: '__NOTOC__ ==ProB Build Process== ===Goal=== Provide a reliable process for building, testing and releasing ProB for Mac Os, Linux and Windows. F…' (and the only contributor was 'Jens Bendisposto'))
08:34, 23 February 2012 Jens Bendisposto talk contribs deleted page Joy Clark:User Stories (moved to google docs)
08:33, 23 February 2012 Jens Bendisposto talk contribs deleted page Jens Bendisposto:ProB 2.0 (moved to google docs)
13:49, 27 January 2012 User account Dominik Hansen talk contribs was created by Jens Bendisposto talk contribs
07:18, 24 December 2011 Michael Leuschel talk contribs uploaded File:StackConstructiveProB.png
10:04, 8 December 2011 Jens Bendisposto talk contribs deleted page Jens Bendisposto:User Stories (content was: '== Goals == # Build a system that provides all functions, the TCL/TK Version of ProB provides. # Parts of the system shall be used to form the Rodin ProB plug-in. == Requirements == # As a '''ProB developer''', we want to '''run the UI,…')
05:01, 30 November 2011 Jens Bendisposto talk contribs deleted page Jens Bendisposto:UserStories (content was: '.' (and the only contributor was 'Jens Bendisposto'))
04:23, 30 November 2011 Jens Bendisposto talk contribs moved page Template:UserStory to Template:Case
13:55, 29 November 2011 Jens Bendisposto talk contribs deleted page Jens Bendisposto:ProB Wishlist (Outdated: content was: '* We should have some integration/high level tests ** Load models ** Load specific settings (prefs) ** Verify trace(s) ** Verify Statespace ** P…' (and the only contributor was '[[Special:Contributions/Jens Bendisposto|Jens B)
13:54, 29 November 2011 Jens Bendisposto talk contribs deleted page ProB for Rodin 1.3 (Outdated: content was: 'The ProB release for Rodin 1.3 comprises of four installable components: # ProB for Rodin Plugin Feature (de.prob.plugin.feature) # Disprov…' (and the only contributor was '[[Special:Contributions/Jens Bendisposto|Jens B)
14:31, 23 November 2011 User account Philipp Koerner talk contribs was created by Jens Bendisposto talk contribs
08:13, 17 October 2011 Lukas Ladenberger talk contribs uploaded a new version of File:SetupTaskRepository.png
11:33, 7 October 2011 Jens Bendisposto talk contribs uploaded File:Eval view8.png
11:32, 7 October 2011 Jens Bendisposto talk contribs uploaded File:Eval view7.png
11:13, 7 October 2011 Jens Bendisposto talk contribs uploaded File:Eval view6.png
10:02, 7 October 2011 Jens Bendisposto talk contribs uploaded File:Eval view5.png
09:36, 7 October 2011 Jens Bendisposto talk contribs uploaded File:Eval view4.png
15:03, 6 October 2011 Jens Bendisposto talk contribs uploaded File:Eval view3.png
14:31, 6 October 2011 Jens Bendisposto talk contribs uploaded File:Eval view2.png
14:24, 6 October 2011 Jens Bendisposto talk contribs uploaded File:Eval view.png
16:36, 19 September 2011 Jens Bendisposto talk contribs changed group membership for Ivaylo Dobrikov from (none) to administrator and bureaucrat
16:30, 19 September 2011 User account Ivaylo Dobrikov talk contribs was created by Jens Bendisposto talk contribs
15:32, 25 July 2011 Michael Leuschel talk contribs uploaded a new version of File:ProB While INV Violation.png
15:31, 25 July 2011 Michael Leuschel talk contribs uploaded a new version of File:ProB While INV Violation.png
15:31, 25 July 2011 Michael Leuschel talk contribs uploaded a new version of File:ProB While INV Violation.png
15:30, 25 July 2011 Michael Leuschel talk contribs uploaded File:ProB While INV Violation.png
15:30, 25 July 2011 Michael Leuschel talk contribs uploaded File:ProB WhileAfterErrClick.png
15:29, 25 July 2011 Michael Leuschel talk contribs uploaded File:ProB WhileAfterLoad.png
09:28, 24 May 2011 Michael Leuschel talk contribs uploaded a new version of File:ProBRodinStart.png
07:15, 6 May 2011 User account Lukas Ladenberger talk contribs was created by Daniel Plagge talk contribs
12:31, 17 March 2011 Jens Bendisposto talk contribs uploaded File:ProB Logo.jpg
08:43, 3 March 2011 Jens Bendisposto talk contribs deleted page De.prob.shared.feature (outdated)
08:43, 3 March 2011 Jens Bendisposto talk contribs deleted page De.prob.plugin.feature (outdated)
08:43, 3 March 2011 Jens Bendisposto talk contribs deleted page De.prob.common (outdated)
08:43, 3 March 2011 Jens Bendisposto talk contribs deleted page De.prob.plugin (ou)
08:42, 3 March 2011 Jens Bendisposto talk contribs deleted page De.prob.core (outdated)
08:42, 3 March 2011 Jens Bendisposto talk contribs deleted page De.be4.ltl.core.parser (outdated)
08:41, 3 March 2011 Jens Bendisposto talk contribs deleted page De.prob.cli (outdated)
09:22, 2 March 2011 User account Stefan Hallerstede talk contribs was created by Jens Bendisposto talk contribs
16:03, 1 March 2011 Michael Leuschel talk contribs uploaded a new version of File:ProBModelCheckNoCounterExampleFound.png
16:03, 1 March 2011 Michael Leuschel talk contribs uploaded a new version of File:DoubleCounterStatespace.png
16:02, 1 March 2011 Michael Leuschel talk contribs uploaded a new version of File:DoubleCounterStatespace2.png
13:23, 1 March 2011 Michael Leuschel talk contribs uploaded File:ClicknProveDoubleCounter.png
13:05, 1 March 2011 Michael Leuschel talk contribs uploaded File:DoubleCounterStatespace2.png
12:49, 1 March 2011 Michael Leuschel talk contribs uploaded File:DoubleCounterCBCCommand.png
12:39, 1 March 2011 Michael Leuschel talk contribs uploaded a new version of File:CBCDoubleCounter2.png
12:37, 1 March 2011 Michael Leuschel talk contribs uploaded File:CBCDoubleCounter2.png
12:36, 1 March 2011 Michael Leuschel talk contribs uploaded File:CBCDoubleCounter1.png

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