From 579836ce3a282f418c6f6954dabf709f72e01327 Mon Sep 17 00:00:00 2001 From: Johannes Eder <eder@fortiss.org> Date: Tue, 17 Mar 2020 17:51:57 +0100 Subject: [PATCH] removed testing Issue-Ref: 3866 Issue-Url: https://af3-developer.fortiss.org/issues/3866 Signed-off-by: Johannes Eder <eder@fortiss.org> --- .../html/getting_started.html | 19 ++++--------------- 1 file changed, 4 insertions(+), 15 deletions(-) diff --git a/org.fortiss.af3.rcp.help/html/getting_started.html b/org.fortiss.af3.rcp.help/html/getting_started.html index f2be2fc..f613132 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 /> -- GitLab