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>
 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>
 <tr><td class="entry">
@@ -1188,7 +1188,7 @@
 <a href="entries/AVL-Trees.shtml">AVL Trees</a>
-<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
@@ -1197,7 +1197,7 @@
 <a href="entries/MiniML.shtml">Mini ML</a>
 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>

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

Sign up for the SourceForge newsletter:

No, thanks