Line break

Author: spitters

index.html

@@ -27,7 +27,8 @@ <h1 align="center">Coq Repository at Nijmegen</h1>
 <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. Development of a simple ODE-solver. (Spitters, Krebbers, van der Weegen, Makarov)</li>
+  <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>
 </ul>
 </p>