ProB for Rodin: Difference between revisions

Revision as of 11:10, 30 October 2014

ProB for Rodin Landing Page

Revision as of 11:07, 30 October 2014 (view source) Lukas Ladenberger (talk \| contribs) No edit summary ← Older edit		Revision as of 11:10, 30 October 2014 (view source) Lukas Ladenberger (talk \| contribs) No edit summary Newer edit →
Line 2:		Line 2:

	ProB for Rodin Landing Page		ProB for Rodin Landing Page

			<img src="/ProB/skins/prob/img/prob_cli.png" class="img-rounded" style="box-shadow: 5px 5px 2px #888888;border:1px solid #888888;" />