src/Tools/cache_io.ML
Thu, 08 Jul 2010 09:36:23 +0200 haftmann combinator with_tmp_dir
Wed, 07 Apr 2010 20:40:42 +0200 boehmes simplified Cache_IO interface (input is just a string and not already stored in a file)
Wed, 24 Mar 2010 09:43:34 +0100 boehmes use internal SHA1 digest implementation for generating hash keys
Wed, 24 Mar 2010 08:22:43 +0100 boehmes remove component Cache_IO (external dependency on MD5 will be replaced by internal SHA1 digest implementation)
less more (0) tip