changeset 28914 | f993cbffc42a |
parent 28659 | b4fd14ae8b8a |
child 28915 | 0642cbb60c98 |
--- a/etc/settings Sun Nov 30 12:25:54 2008 +0100 +++ b/etc/settings Sun Nov 30 12:58:20 2008 +0100 @@ -128,7 +128,7 @@ ### # The place for user configuration, heap files, etc. -ISABELLE_HOME_USER=~/isabelle +ISABELLE_HOME_USER=~/.isabelle # Where to look for isabelle tools (multiple dirs separated by ':'). ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"