# HG changeset patch
# User wenzelm
# Date 1233057444 -3600
# Node ID da018485b89d4d8a786e15ac055311506773cca4
# Parent  d01bada1df333cb5bcbd2e7eaddcc2255d270466
use https;

diff -r d01bada1df33 -r da018485b89d Admin/makedist
--- a/Admin/makedist	Tue Jan 27 00:42:12 2009 +0100
+++ b/Admin/makedist	Tue Jan 27 12:57:24 2009 +0100
@@ -1,12 +1,10 @@
 #!/usr/bin/env bash
 #
-# $Id$
-#
 # makedist -- make Isabelle source distribution
 
 ## global settings
 
-REPOS="http://isabelle.in.tum.de/repos/isabelle"
+REPOS="https://isabelle.in.tum.de/repos/isabelle"
 
 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}