wenzelm [Fri, 08 Nov 2013 15:10:16 +0100] rev 54376
transfer focus before closing old component -- avoid intermediate focus switch to root component, which is actually visible e.g. on Windows;
wenzelm [Thu, 07 Nov 2013 19:35:57 +0100] rev 54375
Added tag Isabelle2013-1-RC4 for changeset 594628261376
wenzelm [Thu, 07 Nov 2013 19:17:53 +0100] rev 54374
updated to polyml-5.5.1-1 (fixes-5.5.1 version 1875);
wenzelm [Thu, 07 Nov 2013 13:38:44 +0100] rev 54373
tuned;
wenzelm [Thu, 07 Nov 2013 13:34:04 +0100] rev 54372
misc tuning;
wenzelm [Wed, 06 Nov 2013 21:20:20 +0100] rev 54371
updated to jedit_build-20131106 (Console.jar 5.1.3);
wenzelm [Wed, 06 Nov 2013 20:58:11 +0100] rev 54370
join all theory body forks, notably Toplevel.atom_result (diagnostic commands), before peeking at full status;
wenzelm [Wed, 06 Nov 2013 20:46:00 +0100] rev 54369
tuned signature;
wenzelm [Wed, 06 Nov 2013 18:15:25 +0100] rev 54368
less tiny font for search criteria;
wenzelm [Wed, 06 Nov 2013 18:04:36 +0100] rev 54367
tuned tooltips;