author | wenzelm |
Wed, 25 Nov 2009 15:30:03 +0100 | |
changeset 33915 | 07ab63b320dd |
parent 33898 | 2ca2693a8c10 |
child 33916 | 528cb0c58451 |
Admin/makedist | file | annotate | diff | comparison | revisions |
1.1 --- a/Admin/makedist Wed Nov 25 15:21:41 2009 +0100 1.2 +++ b/Admin/makedist Wed Nov 25 15:30:03 2009 +0100 1.3 @@ -4,7 +4,7 @@ 1.4 1.5 ## global settings 1.6 1.7 -REPOS="http://isabelle.in.tum.de/repos/isabelle" 1.8 +REPOS="http://isabelle.in.tum.de/repos/isabelle-release" 1.9 1.10 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist} 1.11