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>