# HG changeset patch
# User wenzelm
# Date 1235675038 -3600
# Node ID 1cbcebc859148e3c7998f5222089bf91bb75cc1a
# Parent  1fb1833cb1992c347c23e25fd9dea70198f68a15# Parent  fca9ac7fde156e6245bb4d6ad10c1d83eddef7eb
merged

diff -r 1fb1833cb199 -r 1cbcebc85914 Admin/makedist
--- a/Admin/makedist	Thu Feb 26 20:03:32 2009 +0100
+++ b/Admin/makedist	Thu Feb 26 20:03:58 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}