isabelle: Changelog

haftmann [Tue, 06 Jun 2006 15:02:55 +0200] rev 19791

refined code generation

haftmann [Tue, 06 Jun 2006 15:02:09 +0200] rev 19790

added arbitray setup for codegen 2

haftmann [Tue, 06 Jun 2006 15:01:09 +0200] rev 19789

small fix

haftmann [Tue, 06 Jun 2006 14:57:13 +0200] rev 19788

deleted legacy

haftmann [Tue, 06 Jun 2006 14:56:42 +0200] rev 19787

improved code lemmas

haftmann [Tue, 06 Jun 2006 14:55:56 +0200] rev 19786

fixed typo

haftmann [Tue, 06 Jun 2006 14:55:19 +0200] rev 19785

bugfixes

krauss [Tue, 06 Jun 2006 11:58:10 +0200] rev 19784

HOL/Tools/function_package: Applies CodeGen attributes again, where possible.

ballarin [Tue, 06 Jun 2006 10:05:57 +0200] rev 19783

Improved parameter management of locales.

krauss [Tue, 06 Jun 2006 09:28:24 +0200] rev 19782

HOL/Tools/function_package: imporoved handling of guards, added an example

isabelle