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 isabelle-release URLs;
authorwenzelm
Wed, 13 Feb 2013 12:42:59 +0100
changeset 51097 72c355842f42
parent 51089 ced7163f1fe4
child 51098 22d5c010ef5c
updated isabelle-release URLs;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- 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