Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/isabelle_cronjob.scala
changeset 74921 74655fd58f8e
parent 74907 af2323593473
child 75393 87ebf5a50283 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon Dec 13 11:19:18 2021 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon Dec 13 15:34:40 2021 +0100
@@ -75,8 +75,8 @@
   val mailman_archives: Logger_Task =
     Logger_Task("mailman_archives", logger =>
       {
-        Mailman.isabelle_users.download(mailman_archives_dir)
-        Mailman.isabelle_dev.download(mailman_archives_dir)
+        Mailman.Isabelle_Users.download(mailman_archives_dir)
+        Mailman.Isabelle_Dev.download(mailman_archives_dir)
       })
isabelle