Contact now via github

Author: spitters

index.html

@@ -40,6 +40,5 @@ <h1 align="center">Coq Repository at Nijmegen</h1>
 <div align="center"> 
   <a href="pub.html">[Publications]</a> 
   <a href="http://github.com/c-corn/corn">[Sources]</a>
-  <a href="mailto:c-corn@science.ru.nl">[Contact]</a>
 </body>
 </html>