User contributions

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 14:52, 6 June 2018 (diff | hist) . . (+151)‎ . . The ProB Animator and Model Checker ‎ (current)
• 08:02, 5 June 2018 (diff | hist) . . (0)‎ . . Download ‎ (→‎Nightly Build) (current)
• 15:29, 16 May 2018 (diff | hist) . . (+117)‎ . . Privacy Policy ‎ (→‎Registrierung) (current)
• 10:55, 16 May 2018 (diff | hist) . . (+806)‎ . . Privacy Policy ‎ (→‎Detailed Datenschutzerklärung)
• 10:29, 16 May 2018 (diff | hist) . . (+2,972)‎ . . Privacy Policy ‎ (→‎Verwendung von Cookies)
• 10:23, 16 May 2018 (diff | hist) . . (+3,006)‎ . . Privacy Policy ‎ (→‎Bereitstellung der Website und Erstellung von Logfiles)
• 10:18, 16 May 2018 (diff | hist) . . (+3,296)‎ . . Privacy Policy ‎
• 09:46, 16 May 2018 (diff | hist) . . (+47)‎ . . Privacy Policy ‎
• 09:41, 16 May 2018 (diff | hist) . . (+346)‎ . . N Privacy Policy ‎ (Created page with "The general privacy policy of the University's websites and the "Datenschutzbeauftragter" can be found [http://www.uni-duesseldorf.de/home/footer/datenschutz.html here]. In a...")
• 09:39, 16 May 2018 (diff | hist) . . (+1)‎ . . Links ‎ (→‎General) (current)
• 09:39, 16 May 2018 (diff | hist) . . (+64)‎ . . Links ‎
• 22:39, 19 April 2018 (diff | hist) . . (+157)‎ . . Summary of B Syntax ‎ (→‎Comments and Pragmas) (current)
• 20:14, 19 April 2018 (diff | hist) . . (+66)‎ . . Summary of B Syntax ‎ (→‎Comments and Pragmas)
• 18:18, 19 April 2018 (diff | hist) . . (+105)‎ . . Summary of B Syntax ‎ (→‎Comments and Pragmas)
• 18:04, 19 April 2018 (diff | hist) . . (+558)‎ . . Summary of B Syntax ‎ (→‎Comments and Pragmas)
• 18:51, 11 April 2018 (diff | hist) . . (-6,371)‎ . . DownloadPriorVersions ‎ (current)
• 21:29, 20 March 2018 (diff | hist) . . (+2,511)‎ . . ProB Release History ‎ (current)
• 21:25, 20 March 2018 (diff | hist) . . (-24)‎ . . The ProB Animator and Model Checker ‎
• 17:20, 20 March 2018 (diff | hist) . . (-112)‎ . . The ProB Animator and Model Checker ‎
• 17:18, 20 March 2018 (diff | hist) . . (+203)‎ . . The ProB Animator and Model Checker ‎
• 17:14, 20 March 2018 (diff | hist) . . (-4)‎ . . Download ‎ (→‎Latest Release)
• 17:11, 20 March 2018 (diff | hist) . . (-21)‎ . . Download ‎ (→‎Latest Release)
• 17:10, 20 March 2018 (diff | hist) . . (0)‎ . . Download ‎ (→‎Latest Release)
• 17:10, 20 March 2018 (diff | hist) . . (+8)‎ . . Download ‎ (→‎Latest Release)
• 12:23, 20 March 2018 (diff | hist) . . (+1,745)‎ . . DownloadPriorVersions ‎ (→‎Prior Versions of ProB)
• 12:21, 20 March 2018 (diff | hist) . . (+204)‎ . . Download ‎ (→‎Short Release History)
• 16:54, 22 February 2018 (diff | hist) . . (-18)‎ . . Team ‎ (current)
• 16:53, 22 February 2018 (diff | hist) . . (+17)‎ . . Team ‎
• 16:53, 22 February 2018 (diff | hist) . . (+81)‎ . . Team ‎
• 14:05, 7 February 2018 (diff | hist) . . (+42)‎ . . Tutorial Rodin Parameters ‎ (→‎Size of unspecified sets (carrier sets)) (current)
• 13:23, 7 February 2018 (diff | hist) . . (0)‎ . . N File:AlloyAtelierB.png ‎ (current)
• 13:23, 7 February 2018 (diff | hist) . . (+100)‎ . . Alloy ‎ (→‎Examples)
• 13:17, 7 February 2018 (diff | hist) . . (0)‎ . . N File:ProBAlloyRiver.png ‎ (current)
• 13:17, 7 February 2018 (diff | hist) . . (+4,183)‎ . . Alloy ‎ (→‎Examples)
• 10:26, 7 February 2018 (diff | hist) . . (+15)‎ . . Alloy ‎ (→‎N-Queens)
• 10:25, 7 February 2018 (diff | hist) . . (0)‎ . . Alloy ‎
• 10:25, 7 February 2018 (diff | hist) . . (+172)‎ . . Alloy ‎
• 10:24, 7 February 2018 (diff | hist) . . (0)‎ . . N File:ProBAlloyQueens.png ‎ (current)
• 10:24, 7 February 2018 (diff | hist) . . (+121)‎ . . Alloy ‎
• 10:22, 7 February 2018 (diff | hist) . . (+1,923)‎ . . Alloy ‎
• 12:23, 5 February 2018 (diff | hist) . . (+465)‎ . . N Alloy ‎ (Created page with "Category:User Manual As of version 1.8 ProB provides support to load [http://alloy.mit.edu/alloy/ Alloy] models. The Alloy models are translated to B machines by a [http...")
• 12:16, 5 February 2018 (diff | hist) . . (+48)‎ . . Template:User Manual Index ‎ (current)
• 11:34, 4 February 2018 (diff | hist) . . (+138)‎ . . ProB2 JavaFX UI ‎ (current)
• 11:32, 4 February 2018 (diff | hist) . . (+20)‎ . . Download ‎ (→‎Nightly Build)
• 14:20, 12 January 2018 (diff | hist) . . (+864)‎ . . ProB's Prolog Datastructures ‎ (→‎Data Values) (current)
• 14:11, 12 January 2018 (diff | hist) . . (-1)‎ . . ProB's Prolog Datastructures ‎ (→‎Binary operators)
• 14:11, 12 January 2018 (diff | hist) . . (+6)‎ . . ProB's Prolog Datastructures ‎ (→‎AST types)
• 14:10, 12 January 2018 (diff | hist) . . (+9)‎ . . ProB's Prolog Datastructures ‎ (→‎Data Values)
• 14:10, 12 January 2018 (diff | hist) . . (+939)‎ . . ProB's Prolog Datastructures ‎ (→‎AST (Abstract Syntax Tree))
• 14:02, 12 January 2018 (diff | hist) . . (+1,067)‎ . . N ProB's Prolog Datastructures ‎ (Created page with " == Data Values == Integer value: int(Nr) where Nr is an integer Booleans: pred_true pred_false Enumerated or deferred set elements: fd(Nr,Type) where Nr is an integer...")

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)