diff -r 785abce4b982 -r fbebd7a62b84 Cookbook/main.html
--- a/Cookbook/main.html Tue Jun 11 21:43:45 2019 +0100
+++ b/Cookbook/main.html Tue Jun 11 23:17:29 2019 +0100
@@ -85,8 +85,10 @@
There is also the following mailing list that is subscribed by all developers
and open for help, suggestions etc. about this project.
-
- isabelle-dev@mailman46.in.tum.de
+
+