1.1 --- a/web/index.shtml Sat Oct 31 16:48:03 2009 +0100
1.2 +++ b/web/index.shtml Wed Nov 04 22:08:46 2009 +1100
1.3 @@ -134,7 +134,7 @@
1.4 2008-11-07:
1.5 <a href="entries/FunWithTilings.shtml">Fun With Tilings</a>
1.6 <br>Author:
1.7 -<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a> and
1.8 +<a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a> and
1.9 <a href="http://www.cl.cam.ac.uk/users/lcp/">Lawrence Paulson</a>
1.10 </td></tr>
1.11
1.12 @@ -149,7 +149,7 @@
1.13 2008-09-01:
1.14 <a href="entries/ArrowImpossibilityGS.shtml">Arrow and Gibbard-Satterthwaite</a>
1.15 <br>Author:
1.16 -<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a>
1.17 +<a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a>
1.18 </td></tr>
1.19
1.20 <tr><td class="entry">
1.21 @@ -172,7 +172,7 @@
1.22 2008-08-26:
1.23 <a href="entries/FunWithFunctions.shtml">Fun With Functions</a>
1.24 <br>Author:
1.25 -<a href="href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a>
1.26 +<a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a>
1.27 </td></tr>
1.28
1.29 <tr><td class="entry">
1.30 @@ -208,14 +208,14 @@
1.31 <a href="entries/NormByEval.shtml">Normalization by Evaluation</a>
1.32 <br>Author:
1.33 <a href="http://www.linta.de/~aehlig/">Klaus Aehlig</a> and
1.34 -<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a>
1.35 +<a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a>
1.36 </td></tr>
1.37
1.38 <tr><td class="entry">
1.39 2008-01-11:
1.40 <a href="entries/LinearQuantifierElim.shtml">Quantifier Elimination for Linear Arithmetic</a>
1.41 <br>Author:
1.42 -<a href="http://www.in.tum.de/~nipkow">Tobias Nipkow</a>
1.43 +<a href="http://www4.in.tum.de/~nipkow">Tobias Nipkow</a>
1.44 </td></tr>
1.45 </table>
1.46
1.47 @@ -296,21 +296,21 @@
1.48 2006-09-09:
1.49 <a href="entries/HotelKeyCards.shtml">Hotel Key Card System</a>
1.50 <br>Author:
1.51 -<a href="www.in.tum.de/~nipkow">Tobias Nipkow</a>
1.52 +<a href="http://www4.in.tum.de/~nipkow">Tobias Nipkow</a>
1.53 </td></tr>
1.54
1.55 <tr><td class="entry">
1.56 2006-08-08:
1.57 <a href="entries/Abstract-Hoare-Logics.shtml">Abstract Hoare Logics</a>
1.58 <br>Author:
1.59 -<a href="www.in.tum.de/~nipkow/">Tobias Nipkow</a>
1.60 +<a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a>
1.61 </td></tr>
1.62
1.63 <tr><td class="entry">
1.64 2006-05-22:
1.65 <a href="entries/Flyspeck-Tame.shtml">Flyspeck I: Tame Graphs</a>
1.66 <br>
1.67 -Author: Gertrud Bauer and <a href="www.in.tum.de/~nipkow">Tobias Nipkow</a>
1.68 +Author: Gertrud Bauer and <a href="http://www4.in.tum.de/~nipkow">Tobias Nipkow</a>
1.69 </td></tr>
1.70
1.71 <tr><td class="entry">
1.72 @@ -396,7 +396,7 @@
1.73 <a href="entries/Jinja.shtml">Jinja is not Java</a>
1.74 <br>Author:
1.75 <a href="http://www.cse.unsw.edu.au/~kleing/">Gerwin Klein</a> and
1.76 -<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a>
1.77 +<a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a>
1.78 </td></tr>
1.79
1.80 <tr><td class="entry">
1.81 @@ -463,7 +463,7 @@
1.82 2004-07-09:
1.83 <a href="entries/Compiling-Exceptions-Correctly.shtml">Compiling Exceptions Correctly</a>
1.84 <br>Author:
1.85 - <a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a>
1.86 + <a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a>
1.87 </td></tr>
1.88
1.89 <tr><td class="entry">
1.90 @@ -499,7 +499,7 @@
1.91 2004-03-30:
1.92 <a href="entries/Functional-Automata.shtml">Functional Automata</a>
1.93 <br>Author:
1.94 -<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a>
1.95 +<a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a>
1.96 </td></tr>
1.97
1.98 <tr><td class="entry">