isabelle: Changelog

wenzelm [Tue, 13 Mar 2018 21:04:42 +0100] rev 67852

allow cancellation of Sessions.deps/base_info via progress.stopped (progress.echo only happens for options like "verbose");

wenzelm [Tue, 13 Mar 2018 20:04:58 +0100] rev 67851

tuned;

wenzelm [Tue, 13 Mar 2018 20:02:09 +0100] rev 67850

tuned signature;

wenzelm [Tue, 13 Mar 2018 19:35:08 +0100] rev 67849

merged

wenzelm [Tue, 13 Mar 2018 19:34:42 +0100] rev 67848

added server command "session_build": similar to JEdit_Resources.session_build;

wenzelm [Tue, 13 Mar 2018 18:40:25 +0100] rev 67847

tuned signature;

wenzelm [Tue, 13 Mar 2018 18:28:12 +0100] rev 67846

tuned;

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;

isabelle