SourceForge: afp/afp: changeset 1060:c6278e3d9351
fixed another link
authorlsf37@users.sourceforge.net
Thu Nov 05 08:58:34 2009 +1100 (7 weeks ago)
changeset 1060c6278e3d9351
parent 1058 5d8fd8e1f23e
child 1061 e41ea1f8b2ca
fixed another link
web/entries/Flyspeck-Tame.shtml
     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>