--- a/Admin/makedist	Wed May 02 21:55:13 2012 +0200
+++ b/Admin/makedist	Wed May 02 22:05:59 2012 +0200
@@ -4,7 +4,7 @@
 
 ## global settings
 
-REPOS_NAME="isabelle-release"
+REPOS_NAME="isabelle"
 REPOS="${REPOS:-http://isabelle.in.tum.de/repos/${REPOS_NAME}}"
 DISTPREFIX="${DISTPREFIX:-$HOME/tmp/isadist}"