Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
replaced obsolete /usr/proj by /home;
authorwenzelm
Mon, 24 Mar 2008 15:59:56 +0100
changeset 26371 8e4286e2bffe
parent 26370 2a4f0d0621f1
child 26372 f882403f0d56
replaced obsolete /usr/proj by /home;
Admin/isatest/settings/at-mac-poly-5.1-para file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly-4.1.3 file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly-5.1-para-e file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly-e file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-sml file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-sml-dev-e file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-sml-dev-p file | annotate | diff | comparison | revisions
Admin/isatest/settings/at64-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/at64-poly-5.1-para file | annotate | diff | comparison | revisions
Admin/isatest/settings/at64-sml-dev file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/sun-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/sun-sml-dev file | annotate | diff | comparison | revisions
Admin/rsyncd file | annotate | diff | comparison | revisions 
--- 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"
--- 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"
--- 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"
--- 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"
--- 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"
--- 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")
 
--- 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")
 
--- 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")
 
--- 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"
--- 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"
--- 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")
 
--- 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"
--- 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"
--- 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")
 
--- 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
isabelle