Tool Documentation

Author: jastram

tool.html

@@ -42,9 +42,14 @@ <h2>Components</h2>
   </div>
 
   <div class="feature span3">
-      <h2>Current Status</h2>
+      <h2>Documentation</h2>
       <p>
-	We use the <a href="https://github.com/openETCS/toolchain/issues?labels=Toolchain+Development&page=1&state=open">toolchain issue tracker</a> For managing the development.
+         We have a lot of documentation - as it is not always easy to find, you find it all in one spot here:
+	<ul>
+	<li>Tool use: Please use the Eclipse help to learn about the various tools (Papyrus, RMF, etc.)</li>
+	<li>Eclipse Help also contains openETCS-specific content, which you can also find <a href="https://github.com/openETCS/toolchain/wiki/Documentation">in the wiki</a>.</li>
+	<li>In D4.2 you find the <a href="https://github.com/openETCS/requirements/blob/master/Reference/D2_4.pdf?raw=true">Definition of the methods used to perform the formal description</a>.</li>
+	</ul>
 
       </p>
   </div>