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).
11:06, 24 March 2013Jens Bendispostotalkcontribs deleted page User Name Mappings(Outdated: content was: 'Several SVN user names have to be mapped to the Git format. While the SVN format only contains a unix name, the Git format contains a full name as well as an email address. We can map any of the following names (taken from bot)
10:04, 8 December 2011Jens Bendispostotalkcontribs 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,…')
13:55, 29 November 2011Jens Bendispostotalkcontribs 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)