isabelle: File revisions

src/Tools/Code_Generator.thy

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
Wed, 28 Oct 2009 17:43:43 +0100	blanchet	introduced Auto Nitpick in addition to Auto Quickcheck;	file \| diff \| annotate
Tue, 23 Jun 2009 12:09:30 +0200	haftmann	uniformly capitialized names for subdirectories	file \| diff \| annotate
Tue, 12 May 2009 19:30:33 +0200	haftmann	transferred code generator preprocessor into separate module	file \| diff \| annotate
Mon, 04 May 2009 14:49:51 +0200	haftmann	removed code_name module	file \| diff \| annotate
Fri, 24 Apr 2009 17:45:17 +0200	haftmann	observe distinction between Pure/Tools and Tools more closely	file \| diff \| annotate
Wed, 15 Apr 2009 15:52:37 +0200	haftmann	code generator bootstrap theory src/Tools/Code_Generator.thy	file \| diff \| annotate

isabelle