first try of a tools page

tools.html

@@ -0,0 +1,41 @@
+---
+layout: default
+title: Tools
+---
+
+<h2 class="section-heading">Tools</h2>
+NaoMod develops several model engineering tools.</h3>
+
+<h4 class="service-heading">View</h4>
+<p class="text-muted"> <a href="https://www.atlanmod.org/emfviews/">EMFViews</a> is an Eclipse plugin that brings the
+    concept of database views to the modeling world.</p>
+
+<h4 class="service-heading">Transform</h4>
+<p class="text-muted"> <a href="https://git.kher.nl/aof/atol/">ATLc & ATOL</a> are two alternative <a
+        href="http://www.eclipse.org/atl/">ATL</a> transformations engines that supports incremental and constraint
+    solving.</p>
+
+<h4 class="service-heading">Store</h4>
+<p class="text-muted"> <a href="http://neoemf.atlanmod.org">NeoEMF</a> is a model persistence solution designed to store
+    models in several kind of NoSQL datastores. It is fully compatible with EMF, making it easy to integrate into
+    modeling applications.</p>
+
+<h4 class="service-heading">Prove</h4>
+<p class="text-muted">The <a href="https://github.com/atlanmod/coqtl/">CoqTL</a> tool provides a Coq based framework to
+    express and write proofs on model transformations.</p>
+
+<h4 class="service-heading">Reverse</h4>
+<p class="text-muted">The <a href="https://www.eclipse.org/MoDisco/">MoDisco</a> tool provides an extensible framework
+    to develop model-driven tools for existing software modernization.</p>
+
+<h2 class="section-heading">Co-maintained tools</h2>
+We take part in the development and maintenance of these external tools.
+
+<h4 class="service-heading">Transform</h4>
+<p class="text-muted"> The <a href="http://www.eclipse.org/atl/">ATL</a> model transformation language provides ways to
+    produce a set of target models from a set of source models.</p>
+
+<h4 class="service-heading">Execute</h4>
+<p class="text-muted"> The <a href="https://gemoc.org/studio.html">Eclipse GEMOC Studio</a> provides generic components
+    through Eclipse technologies for the development, integration, and use of heterogeneous executable modeling
+    languages.</p>