--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Tools/Cache_IO/etc/settings Tue Feb 16 15:25:36 2010 +0100 @@ -0,0 +1,4 @@ +ISABELLE_CACHE_IO="$COMPONENT" + +COMPUTE_HASH_KEY="$ISABELLE_CACHE_IO/lib/scripts/compute_hash_key" +