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).
18:20, 27 January 2021Michael Leuscheltalkcontribs deleted page ProB Logic Calculator old(content was: "Below is a ProB-based [http://research.microsoft.com/en-us/um/people/lamport/tla/logic-calculators.html logic calculator]. You can enter predicates and expressions in the upper window (using B syntax), and then press the "Evaluate" button to ask ProB to evaluate the formula. Variables are assumed to be implicitly existentially...", and the only contributor was "Michael Leuschel" (talk))
17:27, 27 January 2021Michael Leuscheltalkcontribs created page BSynthesis(Created page with "= Program Synthesis Program synthesis is the task of generating executable programs from a given specification usually considering a domain specific language. There are many...")
13:49, 27 January 2021Michael Leuscheltalkcontribs created page ReleaseHistory(Created page with " ## Version 1.1.0 (26th of January 2021) ## - now contains VisB directly in the application, VisB has been extended considerably now supporting hovers, more attributes,...")
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)