# HG changeset patch
# User wenzelm
# Date 1246392307 -7200
# Node ID da0dc13101394663a2d6e1a7ae0987874b421429
# Parent  bf6207c7444874eae7cec682d590642ca6084f71# Parent  a10da95b3d9c20ca9524bca3beed4eaf18cb2231
merged

diff -r bf6207c74448 -r da0dc1310139 Admin/isatest/settings/mac-poly64-M4
--- a/Admin/isatest/settings/mac-poly64-M4	Tue Jun 30 22:03:40 2009 +0200
+++ b/Admin/isatest/settings/mac-poly64-M4	Tue Jun 30 22:05:07 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"