equal
deleted
inserted
replaced
85 ### |
85 ### |
86 |
86 |
87 # The place for user configuration, heap files, etc. |
87 # The place for user configuration, heap files, etc. |
88 ISABELLE_HOME_USER=~/isabelle |
88 ISABELLE_HOME_USER=~/isabelle |
89 |
89 |
90 # The places for external proversetc. |
|
91 #VAMPIRE_HOME=~/Vampire |
|
92 #E_HOME=~/E |
|
93 |
|
94 # Where to look for isabelle tools (multiple dirs separated by ':'). |
90 # Where to look for isabelle tools (multiple dirs separated by ':'). |
95 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" |
91 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" |
96 |
92 |
97 # Location for temporary files (should be on a local file system). |
93 # Location for temporary files (should be on a local file system). |
98 ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER" |
94 ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER" |