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