changeset 17939 | 3925ab7b8a18 |
parent 17909 | 7540483e9228 |
child 17953 | b74eb797b6c2 |
--- a/etc/settings Wed Oct 19 21:53:34 2005 +0200 +++ b/etc/settings Fri Oct 21 02:57:22 2005 +0200 @@ -87,6 +87,10 @@ # The place for user configuration, heap files, etc. ISABELLE_HOME_USER=~/isabelle +# The places for external proversetc. +#VAMPIRE_HOME=~/Vampire +#E_HOME=~/E + # Where to look for isabelle tools (multiple dirs separated by ':'). ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"