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 64452 b52141002646
parent 64410 89da169f66fa
child 64468 ed8940d6295c 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Nov 01 14:59:50 2016 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Nov 01 15:00:27 2016 +0100
@@ -124,7 +124,7 @@
               Build_History.remote_build_history(ssh,
                 isabelle_repos,
                 isabelle_repos.ext(r.host),
-                isabelle_repos_source = isabelle_dev_source,
+                isabelle_repos_source = isabelle_release_source,
                 self_update = self_update,
                 push_isabelle_home = push_isabelle_home,
                 progress_result = progress_result _,
isabelle