1.1 --- a/web/entries/Flyspeck-Tame.shtml Wed Nov 04 16:17:44 2009 +0100
1.2 +++ b/web/entries/Flyspeck-Tame.shtml Thu Nov 05 16:17:21 2009 +0100
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>
2.1 --- a/web/entries/Valuation.shtml Wed Nov 04 16:17:44 2009 +0100
2.2 +++ b/web/entries/Valuation.shtml Thu Nov 05 16:17:21 2009 +0100
2.3 @@ -86,9 +86,7 @@
2.4 <tbody>
2.5 <tr>
2.6 <td class="links">
2.7 - <a href="<!--#echo var="outline" -->">Proof
2.8 -outline</a><br>
2.9 - <a href="<!--#echo var="doc" -->">Proof document</a>
2.10 + [No proof document]
2.11 </td>
2.12 <!-- link to README.hmtl if no document exists
2.13 -->