| changeset 67744 | 5c781dcd5864 |
| parent 66995 | 9cb263dbb2f7 |
| child 71979 | 6678e4d9508f |
--- a/Admin/cronjob/plain_identify Fri Mar 02 11:52:27 2018 +0100 +++ b/Admin/cronjob/plain_identify Fri Mar 02 15:16:10 2018 +0100 @@ -10,7 +10,7 @@ LANG=C REPOS_DIR="$HOME/cronjob/plain_identify_repos" -ISABELLE_REPOS_SOURCE="http://isabelle.in.tum.de/repos/isabelle" +ISABELLE_REPOS_SOURCE="https://isabelle.in.tum.de/repos/isabelle" AFP_REPOS_SOURCE="https://bitbucket.org/isa-afp/afp-devel" function setup_repos ()