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 69310 bf5cbefb5c1f
parent 69309 283837b0b8b9
child 69375 f8a1f1d7dd62 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Fri Nov 16 16:21:21 2018 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 17 15:56:11 2018 +0100
@@ -76,7 +76,7 @@
     Logger_Task("build_release", logger =>
       {
         Isabelle_Devel.release_snapshot(
-          rev = get_rev(), afp_rev = get_afp_rev(), remote_mac = "macbroy30")
+          rev = get_rev(), afp_rev = get_afp_rev(), remote_mac = "lapbroy68")
       })
isabelle