# HG changeset patch
# User wenzelm
# Date 1360755779 -3600
# Node ID 72c355842f42252fcc95e59f4565adcde9a431a5
# Parent  ced7163f1fe4a96f2d89e48ad60938b1375b586e
updated isabelle-release URLs;

diff -r ced7163f1fe4 -r 72c355842f42 Admin/Release/CHECKLIST
--- 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