# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1560291449 -3600
# Node ID fbebd7a62b84bcd2d8a2e1add5efb4b72a50d836
# Parent  785abce4b982941f1552aa8f443a811fe7a497c5
updated

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.
-<p>
-  <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">isabelle-dev@mailman46.in.tum.de</A>
+
+<ul>
+<li><A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">isabelle-dev@mailman46.in.tum.de</A>
+</ul>
 <BR>
 <p>