--- a/Cookbook/main.html	Thu Feb 22 21:04:45 2024 +0000
+++ b/Cookbook/main.html	Fri Feb 23 11:59:17 2024 +0000
@@ -94,7 +94,7 @@
 <H3>Repository</H3>
 
 A 
-<A HREF="https://talisker.nms.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A>
+<A HREF="https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/" target="_top">repository</A>
 is available and you are very welcome to contribute to it. The current draft of the tutorial is <A HREF="https://talisker.nms.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>. 
 
 <H3>Stable Version</H3>

--- a/teaching.html	Thu Feb 22 21:04:45 2024 +0000
+++ b/teaching.html	Fri Feb 23 11:59:17 2024 +0000
@@ -79,7 +79,7 @@
 <p>
 I was awarded in 2014 the prizes for both, best supervisor for BSc and best supervisor
 for MSc projects, in the Faculty of Natural and Mathematical Sciences. My students
-also nominated me for the Teaching Excellence Award in 2012, 2015, 2016, 2021, 2022 and 2023.
+also nominated me for King's Education Award in 2012, 2015, 2016, 2021, 2022 and 2023.
 In 2021 I received a very kind
 <A HREF="https://nms.kcl.ac.uk/christian.urban/nomination2021.pdf">citation</A> from a student.
 <A HREF="https://nms.kcl.ac.uk/christian.urban/nomination2022.pdf">Here</A> is the citation from