isabelle: Changelog

wenzelm [Sat, 09 Nov 2013 18:00:36 +0100] rev 54381

tuned;

wenzelm [Sat, 09 Nov 2013 12:47:32 +0100] rev 54380

more on completion;

wenzelm [Sat, 09 Nov 2013 11:41:32 +0100] rev 54379

adjust modules for Admin/build jars_test;

wenzelm [Sat, 09 Nov 2013 11:24:21 +0100] rev 54378

tuned whitespace;

wenzelm [Fri, 08 Nov 2013 17:34:37 +0100] rev 54377

added jedit_completion_dismiss_delay for hide_popup, which helps to avoid loosing key events on old popup (no change of default behavior);

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;

isabelle