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>