Prob2-advance-release: Difference between revisions

Revision as of 15:49, 12 January 2015

Revision as of 09:23, 27 November 2014 (view source) Jens Bendisposto (talk \| contribs) No edit summary ← Older edit		Revision as of 15:49, 12 January 2015 (view source) Jens Bendisposto (talk \| contribs) No edit summary Newer edit →
Line 1:		Line 1:
	{{DISPLAYTITLE:ProB 2.0 Advance Release}}		{{DISPLAYTITLE:ProB 2.0 Advance Release}}

			The update site for ProB 2.0 for Rodin 3.1 is located at http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/releases/advance-final/