+<!-- $Id$ -->
<!--#include virtual="xhtml-header.shtml" -->
<html>
<head>
- <title>Matita home page - developers</title>
- <link type="text/css" rel="stylesheet" href="style.css"/>
+ <title>Matita - Development</title>
+ <!--#include virtual="xhtml-meta.shtml" -->
</head>
<body>
<!--#include virtual="menubar.shtml" -->
<div class="main">
+
<h1>Matita Development</h1>
<p>
The origins of Matita go back to 1999 and are intertwined with the
Matita what it looks today. In this page we tried to summarize all
of them, we apologize for whom we forgot to mention.
</p>
- <h2>Current team members</h2>
- <ul>
+
+ <h2>People<a name="people"></a></h2>
+ <h3>Current team members</h3>
+ <ul class="wide">
<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> - Lecturer </li>
+ <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a> - PhD</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>
- <h2>Former members</h2>
- <ul>
- <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a> - PhD</li>
+ <h3>Former members</h3>
+ <ul class="wide">
<li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a> - Lecturer</li>
<li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a> - PhD</li>
<li>Pietro Di Lena - Master Student</li>
<li>Matteo Selmi - Master Student</li>
<li>Vincenzo Tamburrelli - Master Student</li>
</ul>
- </p>
+
<!--#include virtual="bottombar.shtml" -->
+ </div>
</body>
</html>
-<!-- $Id$ -->