# 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}