Admin/isatest/settings/mac-poly64-M4
changeset 31895 a10da95b3d9c
parent 31886 905a27100f55
child 32080 0a8b5dfee5a5
--- 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"