<!--#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>
+ <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/~tassi/">Enrico Tassi</a> - PhD Student</li>
</ul>
<h2>Former members</h2>
- <ul>
+ <ul class="wide">
<li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a> - PhD</li>
<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>Matteo Selmi - Master Student</li>
<li>Vincenzo Tamburrelli - Master Student</li>
</ul>
- </p>
+
<!--#include virtual="bottombar.shtml" -->
+ </div>
</body>
</html>
<!-- $Id$ -->