replaced /home/isabelle/html-data/isabelle-repos by /home/isabelle-repository/repos;

--- a/Admin/Mercurial/convert	Mon Aug 25 23:27:56 2008 +0200
+++ b/Admin/Mercurial/convert	Tue Aug 26 11:42:46 2008 +0200
@@ -19,13 +19,13 @@
 case $(hostname) in
 
 atbroy51)
-export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/bin/hg
-export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/lib/python2.4/site-packages
+export HG=/home/isabelle-repository/repos/mercurial-atbroy51/bin/hg
+export PYTHONPATH=/home/isabelle-repository/repos/mercurial-atbroy51/lib/python2.4/site-packages
 ;;
 
 atbroy100)
-export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/bin/hg
-export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/lib64/python2.4/site-packages
+export HG=/home/isabelle-repository/repos/mercurial-atbroy100/bin/hg
+export PYTHONPATH=/home/isabelle-repository/repos/mercurial-atbroy100/lib64/python2.4/site-packages
 ;;
 
 esac

--- a/Admin/Mercurial/hgrc	Mon Aug 25 23:27:56 2008 +0200
+++ b/Admin/Mercurial/hgrc	Tue Aug 26 11:42:46 2008 +0200
@@ -2,7 +2,7 @@
 hgext.convert =
 
 [convert]
-cvsps = /home/isabelle/html-data/isabelle-repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -b HEAD
+cvsps = /home/isabelle-repository/repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -b HEAD
 
 [web]
 style = isabelle

--- a/Admin/Mercurial/hgwebdir.cgi	Mon Aug 25 23:27:56 2008 +0200
+++ b/Admin/Mercurial/hgwebdir.cgi	Tue Aug 26 11:42:46 2008 +0200
@@ -4,7 +4,7 @@
 
 # adjust python path if not a system-wide install:
 import sys
-sys.path.insert(0, "/home/isabelle/html-data/isabelle-repos/mercurial-www4/lib64/python2.4/site-packages")
+sys.path.insert(0, "/home/isabelle-repository/repos/mercurial-www4/lib64/python2.4/site-packages")
 
 # enable importing on demand to reduce startup time
 from mercurial import demandimport; demandimport.enable()
@@ -43,5 +43,5 @@
 # Alternatively you can pass a list of ('virtual/path', '/real/path') tuples
 # or use a dictionary with entries like 'virtual/path': '/real/path'
 
-application = hgwebdir('/home/isabelle/html-data/isabelle-repos/hgweb.config')
+application = hgwebdir('/home/isabelle-repository/repos/hgweb.config')
 wsgicgi.launch(application)

--- a/Admin/Mercurial/logrotate.conf	Mon Aug 25 23:27:56 2008 +0200
+++ b/Admin/Mercurial/logrotate.conf	Tue Aug 26 11:42:46 2008 +0200
@@ -1,6 +1,6 @@
 # $Id$
 
-/home/isabelle/html-data/isabelle-repos/log {
+/home/isabelle-repository/repos/log {
   compress
   nomail
   daily