Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorChristian Urban <urbanc@in.tum.de>
Thu, 09 Nov 2017 01:36:42 +0000
changeset 518 505a24fa0454
parent 517 1e453adc6bab
child 519 ed236da27439
updated
index.html file | annotate | diff | comparison | revisions 
--- 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>
public_html