BMotion Studio: Difference between revisions

Revision as of 11:31, 19 November 2014

@@ Line 1: / Line 1: @@
 [[Category:Components]]
-BMotion Studio is a tool built on top of the [[ProB Java API]] for creating domain specific visualisations of formal models.
+<h3 style="text-align:center;">BMotion Studio is a tool built on top of the [[ProB Java API]] for creating domain specific visualisations of formal models.</h3>
-There exists an integration for [[ProB for Rodin | Rodin]].
-== Download ==
+<div style="text-align:center;">
                      <p class="btn btn-lg btn-outline">
-		      <i class="glyphicon glyphicon-download"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion-prob-standalone/releases/ Standalone]
+		    [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion-prob-standalone/releases/ Download BMotion Studio for ProB]
+                    </p>
+</div>
-                    </p>
+<h3 style="text-align:center;">Getting Started</h3>
-== Documentation ==
+<div style="text-align:center;">
                      <p class="btn btn-lg btn-outline">
 		      <i class="fa fa-road"></i> [[BMotion Studio Tutorial | Tutorial]]
@@ Line 19: / Line 18: @@
 		      <i class="fa fa-user"></i> [[BMotion Studio User Manual | User Manual]]
                      </p>
+</div>