isabelle: Changelog

wenzelm [Tue, 13 Mar 2018 17:15:01 +0100] rev 67845

more flexible preferences: avoid hardwired file; tuned signature;

wenzelm [Tue, 13 Mar 2018 17:13:20 +0100] rev 67844

tuned;

wenzelm [Tue, 13 Mar 2018 16:08:13 +0100] rev 67843

more operations for typed JSON values;

wenzelm [Tue, 13 Mar 2018 10:54:40 +0100] rev 67842

clarified signature;

wenzelm [Mon, 12 Mar 2018 18:33:30 +0100] rev 67841

clarified signature;

wenzelm [Mon, 12 Mar 2018 16:39:58 +0100] rev 67840

tuned signature; tuned output;

wenzelm [Mon, 12 Mar 2018 16:32:33 +0100] rev 67839

explicit Server.Context with output channels (concurrent write); support for Logger and Progress;

wenzelm [Mon, 12 Mar 2018 11:37:30 +0100] rev 67838

allow "." in message name;

wenzelm [Mon, 12 Mar 2018 11:31:39 +0100] rev 67837

re-use existing in/out streams;

wenzelm [Mon, 12 Mar 2018 11:30:43 +0100] rev 67836

tuned signature -- more generic;

isabelle