isabelle: Changelog

wenzelm [Sun, 10 Aug 2014 13:59:08 +0200] rev 57879

proper layered_pane for JDialog, e.g. relevant for floating dockables in jEdit, for completion popup in text field;

wenzelm [Sun, 10 Aug 2014 13:06:26 +0200] rev 57878

follow link to originating command, to ensure that Simplifier_Trace_Dockable displays its results (via current_command);

wenzelm [Sat, 09 Aug 2014 18:50:39 +0200] rev 57877

tuned;

wenzelm [Sat, 09 Aug 2014 14:16:46 +0200] rev 57876

tuned;

wenzelm [Sat, 09 Aug 2014 14:11:01 +0200] rev 57875

tuned;

wenzelm [Sat, 09 Aug 2014 11:43:58 +0200] rev 57874

tuned comments;

wenzelm [Sat, 09 Aug 2014 11:25:46 +0200] rev 57873

clarified synchronized scope;

wenzelm [Sat, 09 Aug 2014 11:18:01 +0200] rev 57872

tuned comments;

wenzelm [Fri, 08 Aug 2014 22:05:02 +0200] rev 57871

application manifest for Windows 8/8.1 dpi scaling;

wenzelm [Fri, 08 Aug 2014 20:17:13 +0200] rev 57870

observe context visibility -- less redundant warnings;

isabelle