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 51097 72c355842f42
parent 50990 11996ea98bbe
child 52439 4cf3f6153eb8 
--- a/Admin/Release/CHECKLIST	Wed Feb 13 12:06:21 2013 +0100
+++ b/Admin/Release/CHECKLIST	Wed Feb 13 12:42:59 2013 +0100
@@ -59,7 +59,8 @@
 ===================
 
 - various .hg/hgrc files:
-  default = /home/isabelle-repository/repos/isabelle-release
+  default = http://bitbucket.org/isabelle_project/isabelle-release
+  default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release
 
 - isatest@macbroy28:hg-isabelle/.hg/hgrc
 - isatest@macbroy28:devel-page/content/index.content
isabelle