changeset 29637 | da018485b89d |
parent 28942 | 043a42ba2a4d |
child 30110 | 8cb4a8d6671f |
--- 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}