isabelle: Changelog

wenzelm [Fri, 16 Mar 2018 16:44:14 +0100] rev 67881

interruptible exploration of dependencies;

wenzelm [Fri, 16 Mar 2018 16:38:46 +0100] rev 67880

tuned signature;

wenzelm [Fri, 16 Mar 2018 16:28:03 +0100] rev 67879

clarified signature;

wenzelm [Fri, 16 Mar 2018 15:43:56 +0100] rev 67878

clarified signature;

wenzelm [Fri, 16 Mar 2018 15:22:08 +0100] rev 67877

tuned message;

wenzelm [Fri, 16 Mar 2018 14:13:07 +0100] rev 67876

proper options;

wenzelm [Fri, 16 Mar 2018 14:08:53 +0100] rev 67875

tuned options;

wenzelm [Thu, 15 Mar 2018 22:43:35 +0100] rev 67874

more comments;

wenzelm [Thu, 15 Mar 2018 22:41:59 +0100] rev 67873

tuned message -- more readable JSON;

wenzelm [Thu, 15 Mar 2018 22:28:20 +0100] rev 67872

more accurate isabelle_id: parent directory is not necessarily at tip;

isabelle