isabelle: Changelog

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;

wenzelm [Fri, 08 Aug 2014 11:43:08 +0200] rev 57869

improved monitor panel;

wenzelm [Tue, 05 Aug 2014 23:52:56 +0200] rev 57868

protocol command for heap management, e.g. in Isabelle/jEdit/Scala console: PIDE.session.protocol_command("ML_System.share_common_data");

isabelle