src/Pure/Admin/isabelle_cronjob.scala
changeset 68650 7538b5f301ea
parent 68530 a110dcc9a4c7
child 69199 e5e4de2b93d9
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Jul 18 16:44:01 2018 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Jul 18 17:01:12 2018 +0200
     1.3 @@ -23,7 +23,7 @@
     1.4    val current_log = main_dir + Path.explode("run/main.log")  // owned by log service
     1.5    val cumulative_log = main_dir + Path.explode("log/main.log")  // owned by log service
     1.6  
     1.7 -  val isabelle_repos_source = "https://isabelle.in.tum.de/repos/isabelle"
     1.8 +  val isabelle_repos_source = "https://isabelle.sketis.net/repos/isabelle"
     1.9    val isabelle_repos = main_dir + Path.explode("isabelle")
    1.10    val afp_repos = main_dir + Path.explode("AFP")
    1.11