--- a/src/Pure/General/mailman.scala Sat Nov 07 20:24:34 2020 +0100
+++ b/src/Pure/General/mailman.scala Sat Nov 07 20:46:24 2020 +0100
@@ -12,6 +12,8 @@
object Mailman
{
+ /* mailing list archives */
+
def archive(url: URL, name: String = ""): Archive =
{
val text = Url.read(url)
@@ -57,4 +59,13 @@
})
}
}
+
+
+ /* Isabelle mailing lists */
+
+ def isabelle_users: Archive =
+ archive(Url("https://lists.cam.ac.uk/pipermail/cl-isabelle-users"), name = "isabelle-users")
+
+ def isabelle_dev: Archive =
+ archive(Url("https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev"))
}