isabelle: Changelog

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

haftmann [Sun, 23 Jul 2006 07:20:52 +0200] rev 20185

small improvement in serialization for wfrec

isabelle