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 64437 dba2ca0e0a53
parent 64436 254c9411fc48
child 64452 b52141002646 
--- a/Admin/Release/CHECKLIST	Tue Nov 01 00:54:03 2016 +0100
+++ b/Admin/Release/CHECKLIST	Tue Nov 01 00:55:52 2016 +0100
@@ -85,8 +85,8 @@
   default = http://bitbucket.org/isabelle_project/isabelle-release
   default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release
 
-- isatest@lxbroy10:hg-isabelle/.hg/hgrc
-- isatest@lxbroy10:devel-page/content/index.content
+- Admin/cronjob/self_update:
+  http://bitbucket.org/isabelle_project/isabelle-release
 
 
 Post-release
isabelle