Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorhaftmann
Wed, 23 Jun 2021 18:38:37 +0000
changeset 73870 d156b141fe2f
parent 73869 7181130f5872 (current diff)
parent 73867 3d3c60a90af5 (diff)
child 73871 f46e9f75b7d5
merged
--- a/src/Pure/General/mailman.scala	Wed Jun 23 17:43:31 2021 +0000
+++ b/src/Pure/General/mailman.scala	Wed Jun 23 18:38:37 2021 +0000
@@ -67,5 +67,5 @@
     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"))
+    archive(Url("https://mailmanbroy.in.tum.de/pipermail/isabelle-dev"))
 }
isabelle