Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated URL;
authorwenzelm
Wed, 07 Oct 2020 21:02:04 +0200
changeset 72393 b8f25ceac57f
parent 72392 2bbc7365e8c4
child 72394 9302fd538ae4
updated URL;
Admin/cronjob/plain_identify file | annotate | diff | comparison | revisions 
--- 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 ()
isabelle