Diff of /web/index.shtml [2a9671] .. [23d763]  Maximize  Restore

  Switch to side-by-side view

--- a/web/index.shtml
+++ b/web/index.shtml
@@ -979,7 +979,7 @@
 <a href="entries/Flyspeck-Tame.shtml">Flyspeck I: Tame Graphs</a>
 <br>Author:
 Gertrud Bauer and 
-<a href="http://www4.in.tum.de/~nipkow">Tobias Nipkow</a>
+<a href="http://www.in.tum.de/~nipkow">Tobias Nipkow</a>
 </td></tr>
 
 <tr><td class="entry">
@@ -1188,7 +1188,7 @@
 2004-03-19:
 <a href="entries/AVL-Trees.shtml">AVL Trees</a>
 <br>Author:
-<a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a> and 
+<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a> and 
 Cornelia Pusch
 </td></tr>
 
@@ -1197,7 +1197,7 @@
 <a href="entries/MiniML.shtml">Mini ML</a>
 <br>Author:
 Wolfgang Naraschewski and 
-<a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a>
+<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a>
 </td></tr>
 
 

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks