equal
deleted
inserted
replaced
75 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" |
75 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" |
76 |
76 |
77 # Location for temporary files (should be on a local file system). |
77 # Location for temporary files (should be on a local file system). |
78 ISABELLE_TMP_PREFIX="${TMPDIR:-/tmp}/isabelle-$USER" |
78 ISABELLE_TMP_PREFIX="${TMPDIR:-/tmp}/isabelle-$USER" |
79 |
79 |
80 # Heap input locations. ML system identifier is included in lookup. |
80 # HTML browser info. |
81 ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps" |
|
82 |
|
83 # Heap output location. ML system identifier is appended automatically later on. |
|
84 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
|
85 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
81 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
86 |
82 |
87 # Site settings check -- just to make it a little bit harder to copy this file verbatim! |
83 # Site settings check -- just to make it a little bit harder to copy this file verbatim! |
88 [ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \ |
84 [ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \ |
89 { echo >&2 "### Isabelle site settings already present! Maybe copied etc/settings in full?"; } |
85 { echo >&2 "### Isabelle site settings already present! Maybe copied etc/settings in full?"; } |