equal
deleted
inserted
replaced
79 |
79 |
80 # Where to look for isabelle tools (multiple dirs separated by ':'). |
80 # Where to look for isabelle tools (multiple dirs separated by ':'). |
81 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" |
81 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" |
82 |
82 |
83 # Location for temporary files (should be on a local file system). |
83 # Location for temporary files (should be on a local file system). |
84 ISABELLE_TMP_PREFIX="${TMPDIR:-/tmp}/isabelle-$USER" |
84 ISABELLE_TMP_PREFIX="${TMPDIR:-/tmp}/isabelle-${USER:-$LOGNAME}" |
85 |
85 |
86 # Heap locations. |
86 # Heap locations. |
87 ISABELLE_HEAPS="$ISABELLE_HOME_USER/heaps" |
87 ISABELLE_HEAPS="$ISABELLE_HOME_USER/heaps" |
88 ISABELLE_HEAPS_SYSTEM="$ISABELLE_HOME/heaps" |
88 ISABELLE_HEAPS_SYSTEM="$ISABELLE_HOME/heaps" |
89 |
89 |