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 …'
14:1214:12, 18 November 2009diffhist+1,351 N
General Presentation (tcl/tk)
Created page with '== The ProB Main Window == The menu bar contains the various commands to access the features of ProB. It includes the traditional File menu, with a submenu Recent Files to quick…'
15:4615:46, 16 November 2009diffhist+2,796 N
Installation
Created page with '== Which version shall I use? == The standalone version of ProB contains a richer set of features than the Rodin version and also works on other formalisms than Event-B (e.g., c…'