diff --git a/org.fortiss.af3.rcp.help/html/getting_started.html b/org.fortiss.af3.rcp.help/html/getting_started.html index f2be2fc960c087655c42ae183b7a690641b40271..f6131324a3067c6fbc74f4aeed9c8f34db9aac55 100644 --- a/org.fortiss.af3.rcp.help/html/getting_started.html +++ b/org.fortiss.af3.rcp.help/html/getting_started.html @@ -96,6 +96,7 @@ Getting started help page. <a href="cosimulation_with_af3.html"> - Co-Simulation and FMI Support</a><font color="#ff0000"> </font><br /> <a href="library.html">Libraries</a><br /> <a href="refactoring.html">Refactoring</a><br /> + <a href="model_markers_view.html">On-the-fly Checks</a><br /> </p> </td> </tr> @@ -134,19 +135,13 @@ Getting started help page. </tr> <tr> <td align="center" bgcolor="#c7d2dc" width="50%"> - <h2>Testing and Formal Verification</h2> + <h2>Assurance Case Modeling</h2> </td> <td align="center" bgcolor="#c7d2dc" width="50%"> - <h2>Assurance Case Modeling</h2> + <h2>Further Resources</h2> </td> </tr> <tr> - <td align="center" valign="top"><br /> - <img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/WAF3verification.png" width="200" /><br /> - - <p style="margin-left: 50px;"><a href="model_markers_view.html">On-the-fly Checks</a><br /> </p> - </td> - <td align="center" valign="top"><br /> <img alt="" border="1" height="200" src="assuranceCases/pictures/SC.23.png" width="200" /><br /> <br /> @@ -159,13 +154,7 @@ Getting started help page. </p> <p style="margin-left: 320px;"> </p> </td> - </tr> - <tr> - <td align="center" bgcolor="#c7d2dc" width="50%"> - <h2>Further Resources</h2> - </td> - </tr> - <tr> + <td align="center" valign="top"><br /> <img alt="" border="1" hspace="80" src="gettingStarted/img/af3_logo.png" width="200" /><br /> <br />