Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/Cache_IO/etc/settings
author boehmes
Tue, 16 Feb 2010 15:25:36 +0100
changeset 35140 117247018b54
permissions -rw-r--r--
added Cache_IO: cache for output of external tools,
changed SMT solver interface to use Cache_IO 
     1 ISABELLE_CACHE_IO="$COMPONENT"

     2 

     3 COMPUTE_HASH_KEY="$ISABELLE_CACHE_IO/lib/scripts/compute_hash_key"

     4
wneuper/isa