helm/matita_homepage/developers.html

   1 <html>
   2  <head>
   3   <title>Matita home page - developers</title>
   4  </head>
   5  <style>
   6  </style>
   7
   8   <body>
   9
  10     <ul>
  11       <li><a href="www.cs.unibo.it/~asperti">Andrea Asperti</a></li>
  12       <li><a href="www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a></li>
  13       <li><a href="www.cs.unibo.it/~tassi">Enrico Tassi</a></li>
  14       <li><a href="www.cs.unibo.it/~zacchiro">Stefano Zacchiroli</a></li>
  15     </ul>
  16
  17   </body>
  18
  19 </html>