# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1335704678 -3600
# Node ID ca1bed2b025e10c885e88aa70d01dddf8cfa790d
# Parent  5c816239deaa9e1f31208b31b7ea0d0c44ac4077
updated links

diff -r 5c816239deaa -r ca1bed2b025e logic.html
--- a/logic.html	Sun Apr 29 11:29:56 2012 +0100
+++ b/logic.html	Sun Apr 29 14:04:38 2012 +0100
@@ -86,7 +86,7 @@
 <DD><A HREF="http://www-roc.inria.fr/who/Gilles.Dowek/">Gilles Dowek</A></DD>
 <DD><A HREF="http://www.cl.cam.ac.uk/~gw104/">Glynn Winskel</A></DD>
 <DD><A HREF="http://www-users.cs.umn.edu/~gopalan/">Gopalan Nadathur</A></DD>
-<DD><A HREF="http://www.inf.ed.ac.uk/home/gdp/">Gordon Plotkin</A></DD>
+<DD><A HREF="http://homepages.inf.ed.ac.uk/gdp/">Gordon Plotkin</A></DD>
 <DD><A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Helmut Schwichtenberg</A></DD>
 <DD><A HREF="http://www.cs.kun.nl/~henk">Henk Barendregt</A></DD>
 <DD><A HREF="http://pauillac.inria.fr/~herbelin/index-eng.html">Hugo Herbelin</A></DD>
diff -r 5c816239deaa -r ca1bed2b025e teaching.html
--- a/teaching.html	Sun Apr 29 11:29:56 2012 +0100
+++ b/teaching.html	Sun Apr 29 14:04:38 2012 +0100
@@ -209,9 +209,9 @@
 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A>]
 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A>]
 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A>]
-[<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>]
-[<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>]
-[<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>]
+[<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>]
+[<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>]
+[<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>]
 </ul>
 
 </TD>
diff -r 5c816239deaa -r ca1bed2b025e travelling.html
--- a/travelling.html	Sun Apr 29 11:29:56 2012 +0100
+++ b/travelling.html	Sun Apr 29 14:04:38 2012 +0100
@@ -135,14 +135,14 @@
      at <A HREF="http://www.ijcar.org/2008/" target="_top">IJCAR'08</A> tutorial
      (11 August, Sydney)
 <LI> A course on Nominal Isabelle at the
-<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Summer School 
+<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/">Oregon Summer School 
 on Logic and Theorem Proving in Programming Languages</A> (22 - 30 July, Eugene, 4h,
    [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A>],
    [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A>],
    [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A>],
-   [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>],
-   [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>],
-   [<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>])
+   [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>],
+   [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>],
+   [<A HREF="http://www.cs.uoregon.edu/Research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>])
 <LI> Talk at RTA (15 - 17 July, Hagenberg, Austria)
 <LI> Talk at LICS (24 - 27 June, Pittsburgh)
 <LI> Talk in Swansea (1 April, hosts: Prof. Roger Hindley, Dr Ulrich Berger)