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