# HG changeset patch
# User wenzelm
# Date 1206370796 -3600
# Node ID 8e4286e2bffed11f87a80daf82d0a599a80eff86
# Parent  2a4f0d0621f1a1736de996b09ad2916fbd807866
replaced obsolete /usr/proj by /home;

diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/isatest/settings/at-mac-poly-5.1-para
--- a/Admin/isatest/settings/at-mac-poly-5.1-para	Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Mon Mar 24 15:59:56 2008 +0100
@@ -1,6 +1,6 @@
 # -*- shell-script -*-
 
-  POLYML_HOME="/usr/proj/polyml/polyml-cvs"
+  POLYML_HOME="/home/polyml/polyml-cvs"
   ML_SYSTEM="polyml-5.1"
   ML_PLATFORM="x86-darwin"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/isatest/settings/at-poly
--- a/Admin/isatest/settings/at-poly	Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/isatest/settings/at-poly	Mon Mar 24 15:59:56 2008 +0100
@@ -1,6 +1,6 @@
 # -*- shell-script -*-
 
-  POLYML_HOME="/usr/proj/polyml/polyml-5.1"
+  POLYML_HOME="/home/polyml/polyml-5.1"
   ML_SYSTEM="polyml-5.1"
   ML_PLATFORM="x86-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/isatest/settings/at-poly-4.1.3
--- a/Admin/isatest/settings/at-poly-4.1.3	Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/isatest/settings/at-poly-4.1.3	Mon Mar 24 15:59:56 2008 +0100
@@ -1,6 +1,6 @@
 # -*- shell-script -*-
 
-  POLYML_HOME="/usr/proj/polyml/polyml-4.1.3"
+  POLYML_HOME="/home/polyml/polyml-4.1.3"
   ML_SYSTEM="polyml-4.1.3"
   ML_PLATFORM="x86-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/isatest/settings/at-poly-5.1-para-e
--- a/Admin/isatest/settings/at-poly-5.1-para-e	Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/isatest/settings/at-poly-5.1-para-e	Mon Mar 24 15:59:56 2008 +0100
@@ -1,6 +1,6 @@
 # -*- shell-script -*-
 
-  POLYML_HOME="/usr/proj/polyml/polyml-cvs"
+  POLYML_HOME="/home/polyml/polyml-cvs"
   ML_SYSTEM="polyml-5.1"
   ML_PLATFORM="x86-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/isatest/settings/at-poly-e
--- a/Admin/isatest/settings/at-poly-e	Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/isatest/settings/at-poly-e	Mon Mar 24 15:59:56 2008 +0100
@@ -1,6 +1,6 @@
 # -*- shell-script -*-
 
-  POLYML_HOME="/usr/proj/polyml/polyml-4.2.0"
+  POLYML_HOME="/home/polyml/polyml-4.2.0"
   ML_SYSTEM="polyml-4.2.0"
   ML_PLATFORM="x86-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/isatest/settings/at-sml
--- a/Admin/isatest/settings/at-sml	Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/isatest/settings/at-sml	Mon Mar 24 15:59:56 2008 +0100
@@ -2,7 +2,7 @@
 
 # Standard ML of New Jersey 110 or later
 ML_SYSTEM=smlnj-110.0.7
-ML_HOME="/usr/proj/smlnj/110.0.7/bin"
+ML_HOME="/home/smlnj/110.0.7/bin"
 ML_OPTIONS="@SMLdebug=/dev/null"
 ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
 
diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/isatest/settings/at-sml-dev-e
--- a/Admin/isatest/settings/at-sml-dev-e	Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/isatest/settings/at-sml-dev-e	Mon Mar 24 15:59:56 2008 +0100
@@ -2,7 +2,7 @@
 
 # Standard ML of New Jersey 110 or later
 ML_SYSTEM=smlnj
-ML_HOME="/usr/proj/smlnj/110.67/bin"
+ML_HOME="/home/smlnj/110.67/bin"
 ML_OPTIONS="@SMLdebug=/dev/null"
 ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
 
diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/isatest/settings/at-sml-dev-p
--- a/Admin/isatest/settings/at-sml-dev-p	Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/isatest/settings/at-sml-dev-p	Mon Mar 24 15:59:56 2008 +0100
@@ -2,7 +2,7 @@
 
 # Standard ML of New Jersey 110 or later
 ML_SYSTEM=smlnj
-ML_HOME="/usr/proj/smlnj/110.60/bin"
+ML_HOME="/home/smlnj/110.60/bin"
 ML_OPTIONS="@SMLdebug=/dev/null"
 ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
 
diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/isatest/settings/at64-poly
--- a/Admin/isatest/settings/at64-poly	Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/isatest/settings/at64-poly	Mon Mar 24 15:59:56 2008 +0100
@@ -1,6 +1,6 @@
 # -*- shell-script -*-
 
-  POLYML_HOME="/usr/proj/polyml/polyml-5.1"
+  POLYML_HOME="/home/polyml/polyml-5.1"
   ML_SYSTEM="polyml-5.1"
   ML_PLATFORM="x86_64-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/isatest/settings/at64-poly-5.1-para
--- a/Admin/isatest/settings/at64-poly-5.1-para	Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/isatest/settings/at64-poly-5.1-para	Mon Mar 24 15:59:56 2008 +0100
@@ -1,6 +1,6 @@
 # -*- shell-script -*-
 
-  POLYML_HOME="/usr/proj/polyml/polyml-5.1"
+  POLYML_HOME="/home/polyml/polyml-5.1"
   ML_SYSTEM="polyml-5.1"
   ML_PLATFORM="x86_64-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/isatest/settings/at64-sml-dev
--- a/Admin/isatest/settings/at64-sml-dev	Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/isatest/settings/at64-sml-dev	Mon Mar 24 15:59:56 2008 +0100
@@ -2,7 +2,7 @@
 
 # Standard ML of New Jersey 110 or later
 ML_SYSTEM=smlnj
-ML_HOME="/usr/proj/smlnj/110.60/bin"
+ML_HOME="/home/smlnj/110.60/bin"
 ML_OPTIONS="@SMLdebug=/dev/null"
 ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
 
diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/isatest/settings/mac-poly
--- a/Admin/isatest/settings/mac-poly	Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/isatest/settings/mac-poly	Mon Mar 24 15:59:56 2008 +0100
@@ -1,6 +1,6 @@
 # -*- shell-script -*-
 
-  POLYML_HOME="/usr/proj/polyml/polyml-5.1"
+  POLYML_HOME="/home/polyml/polyml-5.1"
   ML_SYSTEM="polyml-5.1"
   ML_PLATFORM="ppc-darwin"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/isatest/settings/sun-poly
--- a/Admin/isatest/settings/sun-poly	Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/isatest/settings/sun-poly	Mon Mar 24 15:59:56 2008 +0100
@@ -1,6 +1,6 @@
 # -*- shell-script -*-
 
-  POLYML_HOME="/usr/proj/polyml/polyml-5.1"
+  POLYML_HOME="/home/polyml/polyml-5.1"
   ML_SYSTEM="polyml-5.1"
   ML_PLATFORM="sparc-solaris"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/isatest/settings/sun-sml-dev
--- a/Admin/isatest/settings/sun-sml-dev	Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/isatest/settings/sun-sml-dev	Mon Mar 24 15:59:56 2008 +0100
@@ -2,7 +2,7 @@
 
 # Standard ML of New Jersey 110 or later
 ML_SYSTEM=smlnj-110
-ML_HOME="/usr/proj/smlnj/110.60/bin"
+ML_HOME="/home/smlnj/110.60/bin"
 ML_OPTIONS="@SMLdebug=/dev/null"
 ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
 
diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/rsyncd
--- a/Admin/rsyncd	Mon Mar 24 15:59:16 2008 +0100
+++ b/Admin/rsyncd	Mon Mar 24 15:59:56 2008 +0100
@@ -5,5 +5,5 @@
 # $Id$
 #
 
-rsync --daemon --config=/usr/proj/isabelle/rsyncd.conf --port=8730
+rsync --daemon --config=/home/isabelle/rsyncd.conf --port=8730