User contributions for Joy Clark

14 April 2011

• 14:0314:03, 14 April 2011 diff hist −9‎ m FAQ ‎ →‎I cannot visualise the state space: grammar, punctuation
• 14:0114:01, 14 April 2011 diff hist −2‎ m FAQ ‎ →‎ProB complains that some variables are not given a proper type
• 14:0014:00, 14 April 2011 diff hist +6‎ FAQ ‎ →‎The constraint based checker is very slow and does not always work: grammar, punctuation
• 13:5813:58, 14 April 2011 diff hist −5‎ m FAQ ‎ →‎What do the funny question marks in the Operations Pane mean?: grammar, punctuation
• 13:5713:57, 14 April 2011 diff hist −1‎ m FAQ ‎ →‎Which Features of B are covered?
• 13:5613:56, 14 April 2011 diff hist 0‎ FAQ ‎ →‎Is there support for Refinement?
• 13:5613:56, 14 April 2011 diff hist −6‎ FAQ ‎ →‎What about the support for Refinement?: title change from "What about support for Refinement"
• 13:5513:55, 14 April 2011 diff hist +1‎ m FAQ ‎ →‎What about the support for Refinement?: punctuation
• 13:5413:54, 14 April 2011 diff hist 0‎ m FAQ ‎ →‎ProB seems stuck when loading a machine: punctuation
• 13:5313:53, 14 April 2011 diff hist −1‎ m FAQ ‎ →‎How do I perform a self-check of ProB?: comma
• 13:5013:50, 14 April 2011 diff hist +1‎ m Recursively Defined Functions ‎ grammatical edits, punctuation edits
• 13:4713:47, 14 April 2011 diff hist +8‎ m Other languages ‎ grammatical edits, punctuation edits
• 13:4513:45, 14 April 2011 diff hist +65‎ m ProZ ‎ grammatical edits, punctuation edits
• 13:3413:34, 14 April 2011 diff hist +26‎ m CSP-M ‎ grammatical edits, punctuation edits
• 13:2713:27, 14 April 2011 diff hist +1‎ m Using ProB with Atelier B ‎No edit summary
• 13:2713:27, 14 April 2011 diff hist +30‎ m Using ProB with Atelier B ‎ grammatical edits, punctuation edits, changed "well-definedness" to "clarity"
• 13:1213:12, 14 April 2011 diff hist +18‎ m LTL Model Checking ‎ grammatical edits, punctuation edits
• 13:0513:05, 14 April 2011 diff hist −2‎ m Constraint Based Checking ‎ grammatical edits, punctuation edits
• 12:5812:58, 14 April 2011 diff hist +14‎ m Consistency Checking ‎ grammatical edits, punctuation edits
• 12:1812:18, 14 April 2011 diff hist +18‎ m State Space Visualization ‎ grammar and punctuation edits
• 11:5011:50, 14 April 2011 diff hist −13‎ m Graphical Visualization ‎ →‎The Graphical Animation Model: word choice edited
• 09:1209:12, 14 April 2011 diff hist +68‎ m Graphical Visualization ‎ grammatical edits, punctuation edits
• 08:4908:49, 14 April 2011 diff hist −7‎ m Graphical Viewer ‎ grammatical edits, punctuation edits
• 08:4408:44, 14 April 2011 diff hist +15‎ m General Presentation (tcl/tk) ‎ →‎Preferences: changed sentence structure
• 08:3708:37, 14 April 2011 diff hist −16‎ m General Presentation (tcl/tk) ‎ →‎The ProB Main Window: grammatical edits, punctuation edits
• 08:2208:22, 14 April 2011 diff hist +10‎ m Current Limitations ‎ grammar edits, punctuation edits
• 08:1408:14, 14 April 2011 diff hist 0‎ m Installation ‎ →‎Installation Instruction for ProB (Rodin Plugin): spelling error
• 08:1408:14, 14 April 2011 diff hist −2‎ m Installation ‎ →‎Checklist/Troubleshooting: punctuation edits
• 08:1108:11, 14 April 2011 diff hist +2‎ m Installation ‎ →‎Installation Instruction for ProB (Standalone): minor edits
• 08:0608:06, 14 April 2011 diff hist +1‎ Installation ‎ →‎Which version shall I use?: changed heading
• 08:0508:05, 14 April 2011 diff hist +7‎ Installation ‎ →‎Which versions are there?: changed heading

12 April 2011

• 14:5814:58, 12 April 2011 diff hist −2‎ m Other languages ‎ changed commas
• 14:5514:55, 12 April 2011 diff hist +16‎ m ProZ ‎ →‎Preferences: changed "often" to frequently, changed word order
• 14:5114:51, 12 April 2011 diff hist 0‎ CSP-M ‎ →‎Limitations of CSP-M Support: changed comma to semi-colon
• 14:5014:50, 12 April 2011 diff hist +3‎ m CSP-M ‎ →‎Limitations of CSP-M Support: added a but
• 14:4714:47, 12 April 2011 diff hist +2‎ m Tutorial First Step ‎ →‎Starting ProB: changed list in parentheses
• 14:4414:44, 12 April 2011 diff hist 0‎ m Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation: fixed grammatical errors, changed word order, changed "possible enablings of the operation" to "possible ways to enable the operation"
• 14:2614:26, 12 April 2011 diff hist +1‎ m Tutorial Setup Phases ‎ →‎1. Loading: added a space
• 14:2214:22, 12 April 2011 diff hist +5‎ m Tips: Writing Models for ProB ‎ added a space, changed sentence order, added "the"
• 14:1914:19, 12 April 2011 diff hist −5‎ m FAQ ‎ →‎Some of my machines do not behave as expected.: changed myself to me
• 14:1514:15, 12 April 2011 diff hist +1‎ m FAQ ‎ →‎I cannot visualise the state space: changed + to and
• 14:0214:02, 12 April 2011 diff hist 0‎ m Tutorial Understanding ProB's Constraint Solver ‎ →‎Adding universally quantified formulas: changed sentence structure
• 13:4713:47, 12 April 2011 diff hist −11‎ m Tutorial Understanding ProB's Constraint Solver ‎No edit summary
• 13:3713:37, 12 April 2011 diff hist +5‎ m Tutorial Understanding ProB's Constraint Solver ‎ changed "grasped" to "have grasped"
• 13:3613:36, 12 April 2011 diff hist +1‎ m Tutorial Understanding the Complexity of B Animation ‎ →‎Complexity of Animation: changed sentence order
• 13:3213:32, 12 April 2011 diff hist +3‎ m Tutorial Understanding the Complexity of B Animation ‎ →‎Undecidability: edited commas, changed "requires" to "is required"
• 13:2513:25, 12 April 2011 diff hist +5‎ m Tutorial Understanding the Complexity of B Animation ‎ grasped to have grasped
• 13:2513:25, 12 April 2011 diff hist +5‎ m Tutorial Troubleshooting the Setup ‎ grasped to have grasped
• 13:2413:24, 12 April 2011 diff hist +5‎ m Tutorial Setup Phases ‎No edit summary
• 13:0713:07, 12 April 2011 diff hist −3‎ m Tutorial Troubleshooting the Setup ‎ →‎Simple Inconsistency in the PROPERTIES