# HG changeset patch
# User wenzelm
# Date 1639468789 -3600
# Node ID e9506503efeaf2b7ec3ebd5a2ddca4b202b9b77c
# Parent  5cd2e6e17e6f1eba356063b3e904b37e4eeb72cd
tuned comments;

diff -r 5cd2e6e17e6f -r e9506503efea src/Pure/General/mailman.scala
--- a/src/Pure/General/mailman.scala	Mon Dec 13 22:13:22 2021 +0100
+++ b/src/Pure/General/mailman.scala	Tue Dec 14 08:59:49 2021 +0100
@@ -216,7 +216,7 @@
   }
 
 
-  /* Isabelle mailing lists */
+  /* isabelle-users mailing list */
 
   object Isabelle_Users extends Archive(
     Url("https://lists.cam.ac.uk/pipermail/cl-isabelle-users"),
@@ -344,6 +344,9 @@
     }
   }
 
+
+  /* isabelle-dev mailing list */
+
   object Isabelle_Dev extends Archive(Url("https://mailmanbroy.in.tum.de/pipermail/isabelle-dev"))
   {
     override def message_regex: Regex = """<LI><A HREF="(\d+\.html)">""".r