Getting Involved: Difference between revisions

Revision as of 11:18, 23 June 2010

This page describes how to set up a development environment for ProB.

We have prepared an Eclipse Team Set 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.

Revision as of 11:17, 23 June 2010 (view source) Jens Bendisposto (talk \| contribs) No edit summary ← Older edit		Revision as of 11:18, 23 June 2010 (view source) Jens Bendisposto (talk \| contribs) No edit summary Newer edit →
Line 1:		Line 1:
	This page describes how to set up a development environment for ProB.		This page describes how to set up a development environment for ProB.

	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.		We have prepared an [[Media:ProB_complete.psf\|Eclipse Team Set]] 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.