# HG changeset patch
# User wenzelm
# Date 1259159403 -3600
# Node ID 07ab63b320dd900b32e9602d74aff11dd8cba7a5
# Parent  2ca2693a8c10474b5e478b7cfded58e3da2798ea
refer to isabelle-release branch;

diff -r 2ca2693a8c10 -r 07ab63b320dd Admin/makedist
--- a/Admin/makedist	Wed Nov 25 15:21:41 2009 +0100
+++ b/Admin/makedist	Wed Nov 25 15:30:03 2009 +0100
@@ -4,7 +4,7 @@
 
 ## global settings
 
-REPOS="http://isabelle.in.tum.de/repos/isabelle"
+REPOS="http://isabelle.in.tum.de/repos/isabelle-release"
 
 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}