isabelle: Changelog

wenzelm [Fri, 10 Sep 2010 15:48:43 +0200] rev 39282

proper antiquotations;

wenzelm [Fri, 10 Sep 2010 15:42:14 +0200] rev 39281

fixed antiquotation;

wenzelm [Fri, 10 Sep 2010 15:39:55 +0200] rev 39280

updated generated file;

wenzelm [Fri, 10 Sep 2010 15:38:54 +0200] rev 39279

updated config options;

wenzelm [Fri, 10 Sep 2010 15:36:49 +0200] rev 39278

removed spurious addition from 9e58f0499f57;

wenzelm [Fri, 10 Sep 2010 15:17:44 +0200] rev 39277

merged

krauss [Fri, 10 Sep 2010 14:37:57 +0200] rev 39276

improved error message for common mistake (fun f where "g x = ...")

bulwahn [Fri, 10 Sep 2010 10:59:10 +0200] rev 39275

adding another String.literal example

bulwahn [Fri, 10 Sep 2010 10:59:09 +0200] rev 39274

fiddling with the correct setup for String.literal

bulwahn [Fri, 10 Sep 2010 10:59:07 +0200] rev 39273

refactoring mode inference so that the theory is not changed in the mode inference procedure

isabelle