Diff of /web/entries/Flyspeck-Tame.shtml [2a9671] .. [23d763]  Maximize  Restore

Switch to side-by-side view

--- a/web/entries/Flyspeck-Tame.shtml
+++ b/web/entries/Flyspeck-Tame.shtml
@@ -36,7 +36,7 @@
         <td class="data" width="80%">Flyspeck I: Tame Graphs</td></tr>
 
     <tr><td class="datahead">Author:</td>
-        <td class="data">Gertrud Bauer and <a href="http://www4.in.tum.de/~nipkow">Tobias Nipkow</a></td></tr>
+        <td class="data">Gertrud Bauer and <a href="http://www.in.tum.de/~nipkow">Tobias Nipkow</a></td></tr>
 
     <tr><td class="datahead">Submission date:</td>
         <td class="data">2006-05-22</td></tr>

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

Sign up for the SourceForge newsletter:





No, thanks