# HG changeset patch # User wenzelm # Date 1244885630 -7200 # Node ID 91644309417c805f48ae181737588953775052dd # Parent 02ab6fdd200c16919e0ef5319fd517398a3b9078 proper ISABELLE_HOME_USER; diff -r 02ab6fdd200c -r 91644309417c Admin/isatest/settings/mac-poly-M4 --- a/Admin/isatest/settings/mac-poly-M4 Fri Jun 12 20:28:45 2009 +0200 +++ b/Admin/isatest/settings/mac-poly-M4 Sat Jun 13 11:33:50 2009 +0200 @@ -7,7 +7,7 @@ ML_OPTIONS="--mutable 800 --immutable 2000" -ISABELLE_HOME_USER=~/isabelle-mac-poly-M4-e +ISABELLE_HOME_USER=~/isabelle-mac-poly-M4 # Where to look for isabelle tools (multiple dirs separated by ':'). ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" diff -r 02ab6fdd200c -r 91644309417c Admin/isatest/settings/mac-poly-M8 --- a/Admin/isatest/settings/mac-poly-M8 Fri Jun 12 20:28:45 2009 +0200 +++ b/Admin/isatest/settings/mac-poly-M8 Sat Jun 13 11:33:50 2009 +0200 @@ -7,7 +7,7 @@ ML_OPTIONS="--mutable 800 --immutable 2000" -ISABELLE_HOME_USER=~/isabelle-mac-poly-M8-e +ISABELLE_HOME_USER=~/isabelle-mac-poly-M8 # Where to look for isabelle tools (multiple dirs separated by ':'). ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"