isabelle: Changelog

wenzelm [Tue, 25 Jul 2006 21:18:01 +0200] rev 20195

tuned ML code;

wenzelm [Tue, 25 Jul 2006 21:18:00 +0200] rev 20194

renamed Term.variant_abs to Syntax.variant_abs;

wenzelm [Tue, 25 Jul 2006 21:17:58 +0200] rev 20193

Drule.merge_rules;

haftmann [Tue, 25 Jul 2006 16:51:26 +0200] rev 20192

renamed Name.give_names to Name.names and moved Name.alphanum to Symbol.alphanum

haftmann [Tue, 25 Jul 2006 16:43:47 +0200] rev 20191

improvements for lazy code generation

haftmann [Tue, 25 Jul 2006 16:43:33 +0200] rev 20190

fixed typo

haftmann [Tue, 25 Jul 2006 16:43:32 +0200] rev 20189

added code generator serialization for Char

haftmann [Tue, 25 Jul 2006 16:43:31 +0200] rev 20188

added notes on class_package.ML and codegen_package.ML

haftmann [Sun, 23 Jul 2006 07:21:41 +0200] rev 20187

small adjustments

haftmann [Sun, 23 Jul 2006 07:21:22 +0200] rev 20186

fixed bug for serialization for uminus on ints

isabelle