| changeset 72393 | b8f25ceac57f |
| parent 71979 | 6678e4d9508f |
| child 73479 | 6e20976d58f5 |
--- a/Admin/cronjob/plain_identify Wed Oct 07 20:53:27 2020 +0200 +++ b/Admin/cronjob/plain_identify Wed Oct 07 21:02:04 2020 +0200 @@ -10,7 +10,7 @@ LANG=C REPOS_DIR="$HOME/cronjob/plain_identify_repos" -ISABELLE_REPOS_SOURCE="https://isabelle.in.tum.de/repos/isabelle" +ISABELLE_REPOS_SOURCE="https://isabelle.sketis.net/repos/isabelle" AFP_REPOS_SOURCE="https://isabelle.sketis.net/repos/afp-devel" function setup_repos ()