diff -r fbebd7a62b84 -r 58c09367912e Cookbook/main.html
--- a/Cookbook/main.html	Tue Jun 11 23:17:29 2019 +0100
+++ b/Cookbook/main.html	Fri Jul 19 11:38:54 2019 +0100
@@ -89,8 +89,7 @@
 <ul>
 <li><A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">isabelle-dev@mailman46.in.tum.de</A>
 </ul>
-<BR>
-<p>
+
 
 <H3>Repository</H3>