use server-side include

[helm.git] / helm / www / matita / developers.shtml
diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml

new file mode 100644 (file)

index 0000000..f99082e
--- /dev/null
+++ b/helm/www/matita/developers.shtml
@@ -0,0 +1,34 @@
+<!--#include virtual="xhtml-header.shtml" -->
+<html>
+  <head>
+    <title>Matita home page - developers</title>
+    <link type="text/css" rel="stylesheet" href="style.css"/>
+  </head>
+  <body>
+    <!--#include virtual="menubar.shtml" -->
+    <h1><span class="h1">Current team members</span></h1>
+    <ul>
+      <li><a href="http://www.cs.unibo.it/~asperti/">Andrea Asperti</a> - Full Professor</li>
+      <li><a href="http://www.cs.unibo.it/~sacerdot/">Claudio Sacerdoti Coen</a> - Researcher </li>
+      <li><a href="http://www.cs.unibo.it/~tassi/">Enrico Tassi</a> - PhD Student</li>
+      <li><a href="http://www.cs.unibo.it/~zacchiro/">Stefano Zacchiroli</a> - PhD Student</li>
+    </ul>
+
+    <h1><span class="h1">Former members</span></h1>
+    <ul>
+      <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a></li>
+      <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a></li>
+      <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a></li>
+    </ul>
+
+    <h1><span class="h1">Students, developers and contributors</span></h1>
+    <ul>
+      <li>Pietro Di Lena</li>
+      <li>Michele Galatá</li>
+      <li>Alberto Griggio</li>
+      <li>Matteo Selmi</li>
+      <li>Vincenzo Tamburrelli</li>
+    </ul>
+    <!--#include virtual="bottombar.shtml" -->
+  </body>
+</html>