# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1560245770 -3600
# Node ID 01c25b9113ac7b90a0db9306a6c85669dd327353
# Parent  2a4cc5ba318d434d11f88f71edb0c135d8bf0a11
updated

diff -r 2a4cc5ba318d -r 01c25b9113ac Cookbook/main.html
--- a/Cookbook/main.html	Tue Jun 11 10:32:05 2019 +0100
+++ b/Cookbook/main.html	Tue Jun 11 10:36:10 2019 +0100
@@ -77,7 +77,7 @@
 
 <H3>People to contact</H3>
 
-The project was managed by
+The project was (actively) managed by
 
 <ul>
 <li> <A HREF="http://nms.kcl.ac.uk/christian.urban/" target="_top">Christian Urban</A> (christian.urban at kcl ac uk)
@@ -89,14 +89,13 @@
 There is also the following mailing list that is subscribed by all developers
 and open for help, suggestions etc. about this project.
 <p>
-<A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">
-isabelle-dev@mailbroy.informatik.tu-muenchen.de</A>
+  <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">isabelle-dev@mailman46.in.tum.de</A>
 <BR>
 <p>
 
 <H3>Repository</H3>
 
-A preliminary 
+A 
 <A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/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="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>.