+++ /dev/null
-<?xml version="1.0" ?>
-<?xml-stylesheet type="text/css" href="style.css" ?>
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
- "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-<html>
-<head>
- <title>Matita home page - developers</title>
- <link type="text/css" rel="stylesheet" href="style.css"/>
-</head>
-<body>
- <div class="upmenu">
- <a class="upmenu" href="index.html">Matita Home</a>
- <a class="upmenu" href="developers.html">Developers</a>
- <a class="upmenu" href="documentation.html">Documentation</a>
- <a class="upmenu" href="community.html">Community</a>
- <a class="upmenu" href="download.html">Download</a>
- </div>
-
- <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 Galata'</li>
- <li>Alberto Griggio</li>
- <li>Matteo Selmi</li>
- <li>Vincenzo Tamburrelli</li>
- </ul>
- <table>
- <tr>
- <td>
- <a class="quiet" href="http://validator.w3.org/check/referer">
- <img alt="Valid XHTML 1.0!" src="images/valid-xhtml10.png" width="88" height="31" />
- </a>
- <a class="quiet" href="http://jigsaw.w3.org/css-validator/">
- <img alt="Valid CSS" src="images/valid-css.png" width="88" height="31" />
- </a>
- </td>
-
- </tr>
- </table>
- </body>
-</html>
projects / helm.git / blobdiff