isabelle: File revisions

src/Tools/Code_Generator.thy

Wed, 01 Sep 2010 12:01:19 +0200	haftmann	factored out generic part of Scala serializer into code_namespace.ML	file \| diff \| annotate
Wed, 14 Jul 2010 14:16:12 +0200	haftmann	load cache_io before code generator; moved adhoc-overloading to generic tools	file \| diff \| annotate
Tue, 15 Jun 2010 14:28:22 +0200	haftmann	added code_simp infrastructure	file \| diff \| annotate
Wed, 27 Jan 2010 14:02:52 +0100	haftmann	tuned structure; moved non-related quickcheck.setup to Code_Generator.thy	file \| diff \| annotate
Fri, 08 Jan 2010 12:25:15 +0100	haftmann	a primitive scala serializer	file \| diff \| annotate
Mon, 07 Dec 2009 16:27:48 +0100	haftmann	split off evaluation mechanisms in separte module Code_Eval	file \| diff \| annotate
Tue, 24 Nov 2009 17:19:33 +0100	wenzelm	some rearangement of load order to keep preferences adjacent -- slightly fragile;	file \| diff \| annotate
Fri, 20 Nov 2009 15:33:10 +0100	wenzelm	load ML directly into theory Code_Generator (quickcheck also requires this);	file \| diff \| annotate

isabelle