isabelle: File revisions

src/Tools/cache_io.ML

Sat, 27 Nov 2010 15:28:00 +0100	wenzelm	more explicit Isabelle_System operations;	file \| diff \| annotate
Sat, 20 Nov 2010 00:53:26 +0100	wenzelm	renamed raw "explode" function to "raw_explode" to emphasize its meaning;	file \| diff \| annotate
Wed, 17 Nov 2010 08:14:55 +0100	boehmes	keep input and output files used to communicate with the SMT solver (for debugging purposes mainly)	file \| diff \| annotate
Fri, 12 Nov 2010 17:28:43 +0100	boehmes	check the return code of the SMT solver and raise an exception if the prover failed	file \| diff \| annotate
Mon, 08 Nov 2010 12:13:51 +0100	boehmes	return the process return code along with the process outputs	file \| diff \| annotate
Thu, 08 Jul 2010 09:36:23 +0200	haftmann	combinator with_tmp_dir	file \| diff \| annotate
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)	file \| diff \| annotate
Wed, 24 Mar 2010 09:43:34 +0100	boehmes	use internal SHA1 digest implementation for generating hash keys	file \| diff \| annotate
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)	file \| diff \| annotate \| base

isabelle