User Manual: Difference between revisions

m (moved User Manual:Start to User Manual over redirect)
Line 7: Line 7:

== Content of this handbook ==
== Content of this handbook ==
* [[Installation]]
* [[Current Limitations]]
category    = User Manual
* General Presentation [[General Presentation (tcl/tk)|(tcl/tk)]] [[General Presentation (Eclipse)|(Eclipse)]]
* [[Types]]
* [[Animation]]

Revision as of 12:39, 18 January 2010

ProB is a graphical animator and model checker for the B method. The ProB homepage is at, where precompiled binaries, installation instructions and documentation are available.

Important notice

If you find a problem with ProB please let us know. We are happy to receive suggestions for improvements to ProB or the documentation.

You might also want to create a Bug Report.

Content of this handbook

<DynamicPageList> category = User Manual </DynamicPageList>