isabelle: Changelog

wenzelm [Sat, 16 Nov 2013 12:41:16 +0100] rev 54444

prefer UTF8.decode_permissive;

wenzelm [Sat, 16 Nov 2013 12:29:10 +0100] rev 54443

more distinctive Isabelle_Process.Output vs. Isabelle_Process.Protocol_Output;

wenzelm [Fri, 15 Nov 2013 19:31:10 +0100] rev 54442

more specific Protocol_Output: empty message.body, main content via bytes/text;

wenzelm [Thu, 14 Nov 2013 17:39:32 +0100] rev 54441

tuned imports;

wenzelm [Thu, 14 Nov 2013 17:17:57 +0100] rev 54440

tuned signature;

wenzelm [Thu, 14 Nov 2013 16:55:32 +0100] rev 54439

immutable byte vectors versus UTF8 strings;

haftmann [Fri, 15 Nov 2013 22:02:05 +0100] rev 54438

dropped duplicate of of_bool

haftmann [Fri, 15 Nov 2013 22:02:01 +0100] rev 54437

proper code equations for Gcd and Lcm on nat and int

nipkow [Sat, 16 Nov 2013 07:45:53 +0100] rev 54436

tuned

blanchet [Thu, 14 Nov 2013 20:55:09 +0100] rev 54435

fixed type variable confusion in 'datatype_new_compat'

isabelle