15:3215:32, 18 November 2009diffhist+597 N
Template:Revision
Created page with '{{mbox | type = content | image = 44x40px | text = {{#if:{{{1|}}}|Parts of this {{{type|article}}} (those related to {{{1|}}}) '''may no lo…'
15:1515:15, 18 November 2009diffhist+7,114 N
Animation
Created page with 'The animation facilities of ProB allow users to gain confidence in their specifications. These features try to be as user-friendly as possible (e.g., the user does not have to gu…'
15:1215:12, 18 November 2009diffhist+4,455 N
Types
Created page with 'ProB requires all constants and variables to be typed. As of version 1.3, ProB uses a new unification-based type inference and checking algorithm. As such, you should be able to …'