# HG changeset patch
# User wenzelm
# Date 1235663684 -3600
# Node ID 8cb4a8d6671fc91af2105a0d470110270c49be38
# Parent  9621de6852d7d428b3656e2983aa0f0bd7e53dbd
back to plain http;

diff -r 9621de6852d7 -r 8cb4a8d6671f Admin/makedist
--- a/Admin/makedist	Thu Feb 26 16:35:10 2009 +0100
+++ b/Admin/makedist	Thu Feb 26 16:54:44 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}