isabelle: Changelog

wenzelm [Thu, 27 Jun 2013 20:09:39 +0200] rev 52469

tuned signature;

wenzelm [Thu, 27 Jun 2013 17:36:06 +0200] rev 52468

proper bold versions of 00ac (logicalnot), 00b0 (degree);

wenzelm [Thu, 27 Jun 2013 17:06:22 +0200] rev 52467

tuned signature;

wenzelm [Thu, 27 Jun 2013 12:34:58 +0200] rev 52466

merged

wenzelm [Thu, 27 Jun 2013 11:33:42 +0200] rev 52465

tuned signature;

wenzelm [Thu, 27 Jun 2013 11:07:48 +0200] rev 52464

clarified printing of type constraints vs. annotations, notably in goal display with its Type_Annotation.ignore_free_types;

wenzelm [Thu, 27 Jun 2013 10:35:37 +0200] rev 52463

updated documentation;

wenzelm [Thu, 27 Jun 2013 10:14:17 +0200] rev 52462

actually use Data.sizef, not hardwired size_of_thm;

wenzelm [Thu, 27 Jun 2013 10:08:41 +0200] rev 52461

more scalable PARALLEL_GOALS, using more elementary retrofit; tuned signature;

nipkow [Thu, 27 Jun 2013 10:11:11 +0200] rev 52460

tuned

isabelle