changeset 31584 | 91644309417c |
parent 31581 | 907616b9536c |
child 32080 | 0a8b5dfee5a5 |
--- 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"