Adding contact e-mail

Author: spitters

index.html

@@ -26,16 +26,19 @@ <h1 align="center">Coq Repository at Nijmegen</h1>
 <li>Efficient computation with real numbers and metric spaces inside Coq (PhD: O'Connor, advisor: Spitters) </li>
 <li>Interface with Coq's standard library reals (Kaliszyk and O'Connor).</li>
 <li><a href="http://wiki.portal.chalmers.se/cse/pmwiki.php/ForMath/ForMath">ForMath</a>
-  project: Fast computation inside Coq and development of the
-  <a href="http://math-classes.org/">math-classes</a> library using type classes.<br>
-  Development of a simple ODE-solver. (Spitters, Krebbers, van der Weegen, Makarov)</li>
+  project (Spitters, Krebbers, van der Weegen, Makarov):<ul>
+  <li> Fast computation inside Coq</li>
+  <li> Development of the <a href="http://math-classes.org/">math-classes</a> library using type classes.</li>
+  <li> Development of a simple ODE-solver. </li></ul>
+  </li>
 </ul>
 </p>
 
 See the publications section for a longer description.<br>
 
 <div align="center"> 
   <a href="pub.html">[Publications]</a> 
-  <a href="http://github.com/c-corn/corn">[Sources and contact]</a>
+  <a href="http://github.com/c-corn/corn">[Sources]</a>
+  <a href="mailto:c-corn@science.ru.nl">[Contact]</a>
 </body>
 </html>