author lsf37@users.sourceforge.net

Thu Nov 05 08:58:34 2009 +1100 (7 weeks ago)

changeset 1060 c6278e3d9351

parent 1058 5d8fd8e1f23e

child 1061 e41ea1f8b2ca

web/entries/Flyspeck-Tame.shtml file | annotate | diff | revisions
     1.1 --- a/web/entries/Flyspeck-Tame.shtml	Wed Nov 04 22:08:46 2009 +1100
     1.2 +++ b/web/entries/Flyspeck-Tame.shtml	Thu Nov 05 08:58:34 2009 +1100
     1.3 @@ -36,7 +36,7 @@
     1.4      <tr><td class="datahead">Author:</td>
     1.5  <td class="data">
     1.6  <!-- Author: -->Gertrud Bauer and
     1.7 -<a href="www.in.tum.de/~nipkow">Tobias Nipkow</a>
     1.8 +<a href="http://www4.in.tum.de/~nipkow">Tobias Nipkow</a>
     1.9  </td></tr>		
    1.10      
    1.11  	<tr><td class="datahead">Submission date:</td>