# HG changeset patch
# User wenzelm
# Date 1246392281 -7200
# Node ID a10da95b3d9c20ca9524bca3beed4eaf18cb2231
# Parent  905a27100f556ee95fa1b495a3782769e2b7b32f
fixed ISABELLE_HOME_USER;

diff -r 905a27100f55 -r a10da95b3d9c Admin/isatest/settings/mac-poly64-M4
--- a/Admin/isatest/settings/mac-poly64-M4	Tue Jun 30 21:51:44 2009 +0200
+++ b/Admin/isatest/settings/mac-poly64-M4	Tue Jun 30 22:04:41 2009 +0200
@@ -7,7 +7,7 @@
   ML_OPTIONS="--mutable 2000 --immutable 2000"
 
 
-ISABELLE_HOME_USER=~/isabelle-mac-poly-M4
+ISABELLE_HOME_USER=~/isabelle-mac-poly64-M4
 
 # Where to look for isabelle tools (multiple dirs separated by ':').
 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"