isabelle: Changelog

haftmann [Fri, 28 Jun 2013 21:07:32 +0200] rev 52473

do not choke on type variables emerging during rewriting

wenzelm [Fri, 28 Jun 2013 14:51:19 +0200] rev 52472

load icons via options -- prefer IntelliJ IDEA for now;

wenzelm [Fri, 28 Jun 2013 14:05:12 +0200] rev 52471

support for idea-icons (using ideaIC-129.354/platform/icons/src from IntelliJ IDEA Community Edition 12.1.2);

wenzelm [Thu, 27 Jun 2013 23:17:26 +0200] rev 52470

manage option "proofs" within theory context -- with minor overhead for primitive inferences;

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;

isabelle