ProB Java API: Difference between revisions

Revision as of 12:35, 19 January 2015

Nightly builds of ProB 2 for Rodin 3 can be obtained from within Rodin using the update site http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/nightly/.

Revision as of 12:34, 19 January 2015 (view source) Michael Leuschel (talk \| contribs) No edit summary ← Older edit		Revision as of 12:35, 19 January 2015 (view source) Michael Leuschel (talk \| contribs) (→‎Download) Newer edit →
Line 24:		Line 24:
	== Download ==		== Download ==

	Nightly builds of ProB 2 for Rodin 3 can be obtained from within Rodin ~~using the update site [You can download ProB 2.0 for Rodin 3.x~~ using the update site [http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/nightly/ http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/nightly/].		Nightly builds of ProB 2 for Rodin 3 can be obtained from within Rodin using the update site [http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/nightly/ http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/nightly/].