# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1708689557 0
# Node ID 552a6b834d43cd287bbfefb495ce8985cd3c1fd4
# Parent  0706fa3bdfffc1487fbd065787d7b681d26f09b7
updated

diff -r 0706fa3bdfff -r 552a6b834d43 Cookbook/main.html
--- 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>
diff -r 0706fa3bdfff -r 552a6b834d43 teaching.html
--- 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