etc/settings
changeset 17905 1574533861b1
parent 17825 ede984daba01
child 17909 7540483e9228
     1.1 --- a/etc/settings	Tue Oct 18 17:59:37 2005 +0200
     1.2 +++ b/etc/settings	Wed Oct 19 06:33:24 2005 +0200
     1.3 @@ -87,6 +87,11 @@
     1.4  # The place for user configuration, heap files, etc.
     1.5  ISABELLE_HOME_USER=~/isabelle
     1.6  
     1.7 +
     1.8 +# The places for external proversetc.
     1.9 +VAMPIRE_HOME=~/Vampire
    1.10 +E_HOME=~/E
    1.11 +
    1.12  # Where to look for isabelle tools (multiple dirs separated by ':').
    1.13  ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    1.14