isabelle: Changelog

wenzelm [Tue, 04 Oct 2016 19:43:18 +0200] rev 64043

more thorought update of components;

wenzelm [Tue, 04 Oct 2016 19:38:43 +0200] rev 64042

check session name;

wenzelm [Tue, 04 Oct 2016 19:26:19 +0200] rev 64041

tuned signature;

wenzelm [Tue, 04 Oct 2016 18:26:26 +0200] rev 64040

tuned error;

wenzelm [Tue, 04 Oct 2016 18:09:23 +0200] rev 64039

earlier build_history_base: timing properties in log are introduced here;

wenzelm [Tue, 04 Oct 2016 15:42:08 +0200] rev 64038

incremental output; tuned;

wenzelm [Tue, 04 Oct 2016 15:03:26 +0200] rev 64037

clarified output;

wenzelm [Tue, 04 Oct 2016 14:53:06 +0200] rev 64036

clarified heap options;

wenzelm [Tue, 04 Oct 2016 14:39:31 +0200] rev 64035

proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);

wenzelm [Tue, 04 Oct 2016 14:32:44 +0200] rev 64034

more ambitious default as in former isatest;

isabelle