# HG changeset patch # User wenzelm # Date 1235664024 -3600 # Node ID fca9ac7fde156e6245bb4d6ad10c1d83eddef7eb # Parent 01a87bc13415afa09d9543d1315b2ba01fa24029# Parent 8cb4a8d6671fc91af2105a0d470110270c49be38 merged diff -r 01a87bc13415 -r fca9ac7fde15 Admin/makedist --- a/Admin/makedist Thu Feb 26 16:59:04 2009 +0100 +++ b/Admin/makedist Thu Feb 26 17:00:24 2009 +0100 @@ -4,7 +4,7 @@ ## global settings -REPOS="https://isabelle.in.tum.de/repos/isabelle" +REPOS="http://isabelle.in.tum.de/repos/isabelle" DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}