Getting Involved: Difference between revisions

Revision as of 11:17, 23 June 2010

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

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

Revision as of 15:33, 20 May 2010 (view source) Jens Bendisposto (talk \| contribs) (Created page with 'This page describes how to set up a development environment for ProB.')		Revision as of 11:17, 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.