]> matita.cs.unibo.it Git - helm.git/blob - helm/matita_homepage/developers.html
Dead code removed.
[helm.git] / helm / matita_homepage / developers.html
1 <html>
2  <head>
3   <title>Matita home page - developers</title>
4  </head>
5  <style>
6
7  
8  
9  </style>
10
11   <body>
12   
13     <ul>
14       <li><a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a></li>
15       <li><a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a></li>
16       <li><a href="http://www.cs.unibo.it/~tassi">Enrico Tassi</a></li>
17       <li><a href="http://www.cs.unibo.it/~zacchiro">Stefano Zacchiroli</a></li>
18     </ul>
19
20   </body>
21
22 </html>