|
|
| (72 intermediate revisions by 3 users not shown) |
| Line 1: |
Line 1: |
| This page describes how to set up a development environment for ProB.
| | #REDIRECT [[Running_ProB_from_source]] |
| | |
| We have prepared an Eclipse Team Set[[File:ProB_complete.psf]] that contains all subprojects, i.e. ProB core, B-Motion Studio, AnimationScript, Disprover and the standalone Version. It also includes the Rodin release used for ProB.
| |