# HG changeset patch
# User wenzelm
# Date 1259923277 -3600
# Node ID 0a77b979e59326ab09c72c4961acca0220798245
# Parent  e4890d7bd9f8bba03ad1302c766f7ce12a986ae8
back to main repository;

diff -r e4890d7bd9f8 -r 0a77b979e593 Admin/makedist
--- a/Admin/makedist	Fri Dec 04 11:19:00 2009 +0100
+++ b/Admin/makedist	Fri Dec 04 11:41:17 2009 +0100
@@ -4,7 +4,7 @@
 
 ## global settings
 
-REPOS_NAME="isabelle-release"
+REPOS_NAME="isabelle"
 REPOS="http://isabelle.in.tum.de/repos/${REPOS_NAME}"
 
 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}