--- 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