etc/settings
changeset 17953 b74eb797b6c2
parent 17939 3925ab7b8a18
child 17954 42fc2ac69c8c
equal deleted inserted replaced
17952:00eccd84608f 17953:b74eb797b6c2
    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"