Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use https;
authorwenzelm
Tue, 27 Jan 2009 12:57:24 +0100
changeset 29637 da018485b89d
parent 29636 d01bada1df33
child 29639 b9a7ea6c6da7
child 29640 741f26190c96
use https;
Admin/makedist file | annotate | diff | comparison | revisions 
--- 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}
isabelle