ProB Java API: Difference between revisions

Revision as of 14:36, 30 October 2014

@@ Line 2: / Line 2: @@
 [[Category:ProB Java API]]
-                    <p class="btn btn-lg btn-road">
-		      <i class="fa fa-user"></i> [[ProB Java API Tutorial | Tutorial]]
-                    </p>
                      <p class="btn btn-lg btn-outline">
-		      <i class="fa fa-user"></i> [[Using the Command-Line Version of ProB | User Manual]]
+		      <i class="fa fa-road"></i> [[ProB Java API Tutorial | Tutorial]]
                      </p>
                      <p class="btn btn-lg btn-outline">
 		      <i class="fa fa-cog"></i> [[ProB Java API Developer Manual | Developer Manual]]
                      </p>