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.
Admin/Release/CHECKLIST
changeset 66609 a61181ffb1ce
parent 66598 e2671e8c476f
child 66647 6666fced78cc 
--- a/Admin/Release/CHECKLIST	Thu Sep 07 11:36:57 2017 +0200
+++ b/Admin/Release/CHECKLIST	Thu Sep 07 13:13:10 2017 +0200
@@ -93,12 +93,6 @@
   default = http://bitbucket.org/isabelle_project/isabelle-release
   default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release
 
-- Admin/cronjob/self_update:
-  http://bitbucket.org/isabelle_project/isabelle-release
-
-- src/Pure/Admin/isabelle_cronjon.scala:
-  isabelle_repos_source = isabelle_release_source
-
 
 Post-release
 ============
isabelle