src/Tools/cache_io.ML
2010-12-20 wenzelm 2010-12-20 slightly more standard Isabelle_System.with_tmp_file/with_tmp_dir (cf. Scala version); more robust rm_tree -- somewhat dangerous and not exported; tuned;
2010-11-27 wenzelm 2010-11-27 more explicit Isabelle_System operations;
2010-11-20 wenzelm 2010-11-20 renamed raw "explode" function to "raw_explode" to emphasize its meaning;
2010-11-17 boehmes 2010-11-17 keep input and output files used to communicate with the SMT solver (for debugging purposes mainly)
2010-11-12 boehmes 2010-11-12 check the return code of the SMT solver and raise an exception if the prover failed
2010-11-08 boehmes 2010-11-08 return the process return code along with the process outputs
2010-07-08 haftmann 2010-07-08 combinator with_tmp_dir
2010-04-07 boehmes 2010-04-07 simplified Cache_IO interface (input is just a string and not already stored in a file)
2010-03-24 boehmes 2010-03-24 use internal SHA1 digest implementation for generating hash keys
2010-03-24 boehmes 2010-03-24 remove component Cache_IO (external dependency on MD5 will be replaced by internal SHA1 digest implementation)