Cleaning up

Author: spitters

index.html

@@ -26,15 +26,15 @@ <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: Faster computation inside Coq and development of the
+  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>
 </ul>
 </p>
 
 See the publications section for a longer description.<br>
 
 <div align="center"> 
-  <a href="documentation/toc.html">[On-line Documentation]</a> <a href="pub.html">[Publications]</a> 
+  <a href="pub.html">[Publications]</a> 
   <a href="http://github.com/c-corn/corn">[Sources and contact]</a>
 </body>
 </html>