isabelle: Changelog

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

haftmann [Sun, 23 Jul 2006 07:20:26 +0200] rev 20184

added structure HOList

haftmann [Sun, 23 Jul 2006 07:19:36 +0200] rev 20183

major simplifications for integers

isabelle