# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1510191402 0
# Node ID 505a24fa0454a9362daa07d000dca7aa0b323327
# Parent  1e453adc6bab99db4044fae7b34165b2fa266669
updated

diff -r 1e453adc6bab -r 505a24fa0454 index.html
--- a/index.html	Thu Nov 09 01:33:41 2017 +0000
+++ b/index.html	Thu Nov 09 01:36:42 2017 +0000
@@ -40,11 +40,11 @@
     ROWSPAN="9">
 
 <B>Links</B><BR>
-<A HREF="http://nms.kcl.ac.uk/christian.urban/index.html">Home</A><BR>
-<A HREF="http://nms.kcl.ac.uk/christian.urban/publications.html">Publications</A><BR>
-<A HREF="http://nms.kcl.ac.uk/christian.urban/teaching.html">Teaching</A><BR>
-<A HREF="http://nms.kcl.ac.uk/christian.urban/travelling.html">Recent Talks</A><BR>
-<A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/">Nominal Isabelle</A>
+<A HREF="https://nms.kcl.ac.uk/christian.urban/index.html">Home</A><BR>
+<A HREF="https://nms.kcl.ac.uk/christian.urban/publications.html">Publications</A><BR>
+<A HREF="https://nms.kcl.ac.uk/christian.urban/teaching.html">Teaching</A><BR>
+<A HREF="https://nms.kcl.ac.uk/christian.urban/travelling.html">Recent Talks</A><BR>
+<A HREF="https://nms.kcl.ac.uk/christian.urban/Nominal/">Nominal Isabelle</A>
 <BR>
 <BR>