User contributions for Joy Clark

29 November 2012

• 12:4112:41, 29 November 2012 diff hist +1,830‎ ProB 2.0 Development ‎ →‎Basic Design Principles
• 10:5910:59, 29 November 2012 diff hist +12‎ ProB 2.0 Development ‎No edit summary
• 10:1710:17, 29 November 2012 diff hist +7‎ ProB 2.0 Development ‎No edit summary
• 10:1310:13, 29 November 2012 diff hist +26‎ ProB 2.0 Development ‎No edit summary
• 10:1310:13, 29 November 2012 diff hist +36‎ ProB 2.0 Development ‎No edit summary
• 10:0310:03, 29 November 2012 diff hist +2‎ ProB 2.0 Development ‎No edit summary
• 10:0310:03, 29 November 2012 diff hist +85‎ ProB 2.0 Development ‎No edit summary

28 November 2012

• 12:2712:27, 28 November 2012 diff hist +46‎ N ProB 2.0 Development ‎ Created page with 'Information concerning the development of ProB'
• 12:2612:26, 28 November 2012 diff hist +26‎ Developer Manual ‎No edit summary

15 December 2011

• 16:3216:32, 15 December 2011 diff hist +114‎ N Glossary:Project ‎ added glossary entry for project. current
• 16:3016:30, 15 December 2011 diff hist +761‎ N Glossary:Graphical Viewer Preferences ‎ added glossary entry for graphical viewer preferences current
• 16:2916:29, 15 December 2011 diff hist +2,133‎ N Glossary:Advanced Preferences ‎ added glossary entry for advanced preferences
• 16:2616:26, 15 December 2011 diff hist +427‎ N Glossary:CSP Preferences ‎ added glossary entry for csp preferences current
• 16:2516:25, 15 December 2011 diff hist +230‎ N Glossary:Syntax Highlighting Preferences ‎ Added syntax highlighting preferences current
• 16:2316:23, 15 December 2011 diff hist +1,197‎ N Glossary:animation preferences ‎ Animation Preferences added to glossary current

8 December 2011

• 13:5913:59, 8 December 2011 diff hist +6‎ Glossary:deadlocked state ‎No edit summary current
• 13:5913:59, 8 December 2011 diff hist +73‎ N Glossary:deadlocked state ‎ Deadlocked State Glossary entry

18 April 2011

• 13:0213:02, 18 April 2011 diff hist +31‎ m Why Prolog? ‎ grammar and punctuation edits
• 12:5412:54, 18 April 2011 diff hist +11‎ m Getting Involved ‎ grammar and punctuation
• 12:5112:51, 18 April 2011 diff hist +3‎ m Tutorial CSP First Step ‎ grammar and punctuation
• 12:4712:47, 18 April 2011 diff hist +9‎ m Tutorial Rodin Parameters ‎ grammar and punctuation
• 12:4412:44, 18 April 2011 diff hist 0‎ m Tutorial Rodin First Step ‎ s to z
• 12:4212:42, 18 April 2011 diff hist −12‎ m Using the Command-Line Version of ProB ‎ →‎Some probcli examples
• 12:4112:41, 18 April 2011 diff hist −12‎ m Using the Command-Line Version of ProB ‎ grammar and punctuatin
• 12:3912:39, 18 April 2011 diff hist −5‎ m Tutorial Model Checking, Proof and CBC ‎ grammar and punctuation current
• 12:3712:37, 18 April 2011 diff hist +1‎ m Tutorial Understanding ProB's Constraint Solver ‎ grammar and punctation
• 12:3012:30, 18 April 2011 diff hist −2‎ m Tutorial Understanding the Complexity of B Animation ‎ grammar and punctuation
• 12:2612:26, 18 April 2011 diff hist +4‎ m Tutorial Troubleshooting the Setup ‎ "", s to z
• 12:2312:23, 18 April 2011 diff hist +3‎ m Tutorial Setup Phases ‎ "", s to z
• 12:1812:18, 18 April 2011 diff hist −3‎ m Tutorial Complete Model Checking ‎ grammar and punctuation edits
• 12:1412:14, 18 April 2011 diff hist −6‎ m Tutorial First Model Checking ‎ spellig and punctuation current
• 12:1112:11, 18 April 2011 diff hist −3‎ m Tutorial First Step ‎ punctuation and spelling errors current
• 12:0812:08, 18 April 2011 diff hist 0‎ m Tutorial ‎ ,
• 12:0712:07, 18 April 2011 diff hist 0‎ m Troubleshooting ‎ s to z
• 12:0612:06, 18 April 2011 diff hist +9‎ m FAQ ‎ "", s to z
• 11:5911:59, 18 April 2011 diff hist +12‎ m Symmetry Reduction ‎ ""
• 11:5811:58, 18 April 2011 diff hist +2‎ m Other languages ‎ ""
• 11:5711:57, 18 April 2011 diff hist 0‎ m ProZ ‎ s to z
• 11:5411:54, 18 April 2011 diff hist +1‎ m CSP-M ‎ "", s to z
• 11:5111:51, 18 April 2011 diff hist +2‎ m LTL Model Checking ‎ s to z, ""
• 11:4911:49, 18 April 2011 diff hist +4‎ m Refinement Checking ‎ " "
• 11:4811:48, 18 April 2011 diff hist +12‎ m Constraint Based Checking ‎ " "
• 11:4411:44, 18 April 2011 diff hist +111‎ m Consistency Checking ‎ " "
• 11:3211:32, 18 April 2011 diff hist +38‎ m State Space Visualization ‎ " "
• 11:2711:27, 18 April 2011 diff hist 0‎ m Graphical Visualization ‎ s to z, " " hinzufügen
• 11:2111:21, 18 April 2011 diff hist +1‎ m Graphical Viewer ‎ s to z, submenu to sub-menu current
• 11:2011:20, 18 April 2011 diff hist +28‎ m General Presentation (tcl/tk) ‎ " " for commands
• 11:1411:14, 18 April 2011 diff hist 0‎ m Installation ‎ s to z
• 11:1311:13, 18 April 2011 diff hist +1‎ m The ProB Animator and Model Checker ‎ s to z

14 April 2011

• 14:0714:07, 14 April 2011 diff hist +1‎ m Troubleshooting ‎ grammatical edits, punctuation edits