Mercurial Mercurial > wneuper > isa / annotate
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
boehmes@35140 
     1
 
ISABELLE_CACHE_IO="$COMPONENT"
boehmes@35140 
     2
 






boehmes@35140


     3


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







boehmes@35140


     4














wneuper/isa