isabelle: Changelog

haftmann [Thu, 29 Apr 2010 15:22:16 +0200] rev 36538

make random engine persistent using code_reflect

haftmann [Thu, 29 Apr 2010 15:00:43 +0200] rev 36537

repaired subtle misunderstanding: statement names are only passed for name resolution

haftmann [Thu, 29 Apr 2010 15:00:43 +0200] rev 36536

fixed underscore typo

haftmann [Thu, 29 Apr 2010 15:00:42 +0200] rev 36535

more coherent naming with ML serializer

haftmann [Thu, 29 Apr 2010 15:00:42 +0200] rev 36534

dropped code_datatype antiquotation

haftmann [Thu, 29 Apr 2010 15:00:41 +0200] rev 36533

dropped unnecessary ML code

haftmann [Thu, 29 Apr 2010 15:00:41 +0200] rev 36532

avoid popular infixes

haftmann [Thu, 29 Apr 2010 15:00:40 +0200] rev 36531

code_reflect: specify module name directly after keyword

haftmann [Thu, 29 Apr 2010 15:00:39 +0200] rev 36530

NEWS: code_reflect

haftmann [Thu, 29 Apr 2010 10:35:09 +0200] rev 36529

merged

isabelle