isabelle: Changelog

haftmann [Thu, 04 Oct 2012 23:19:02 +0200] rev 49715

more facts on setsum and setprod

traytel [Thu, 04 Oct 2012 17:26:04 +0200] rev 49714

made SML/NJ happier

traytel [Thu, 04 Oct 2012 17:16:55 +0200] rev 49713

do not expose details of internal data structures for composition of BNFs

wenzelm [Fri, 05 Oct 2012 14:32:56 +0200] rev 49712

further support for nested tooltips;

wenzelm [Fri, 05 Oct 2012 13:57:48 +0200] rev 49711

tuned proofs;

wenzelm [Fri, 05 Oct 2012 13:48:22 +0200] rev 49710

refer to parent frame -- relevant for floating dockables in particular;

wenzelm [Fri, 05 Oct 2012 12:11:23 +0200] rev 49709

tuned window position to fit on screen;

wenzelm [Fri, 05 Oct 2012 12:00:28 +0200] rev 49708

tuned window position;

wenzelm [Fri, 05 Oct 2012 11:36:46 +0200] rev 49707

determine window size from content;

wenzelm [Fri, 05 Oct 2012 11:09:24 +0200] rev 49706

tuned color and font size;

isabelle