isabelle: Changelog

wenzelm [Tue, 04 Dec 2018 16:11:52 +0100] rev 69400

tuned;

wenzelm [Mon, 03 Dec 2018 22:21:35 +0100] rev 69399

updated to jedit_build-20181203 (according to d70767e508d7);

wenzelm [Mon, 03 Dec 2018 22:07:23 +0100] rev 69398

Components.download similar to "isabelle components", but without unpacking;

wenzelm [Mon, 03 Dec 2018 21:32:08 +0100] rev 69397

clarified signature;

wenzelm [Mon, 03 Dec 2018 20:34:19 +0100] rev 69396

clarified signature;

wenzelm [Mon, 03 Dec 2018 20:04:48 +0100] rev 69395

more explicit support for Isabelle system components; activate_bundled_components: check component dir as in makedist_bundle;

wenzelm [Mon, 03 Dec 2018 15:15:54 +0100] rev 69394

more operations;

wenzelm [Mon, 03 Dec 2018 14:59:42 +0100] rev 69393

static type for Library.using: avoid Java 11 warnings on "Illegal reflective access"; more uses of "using";

wenzelm [Mon, 03 Dec 2018 12:30:37 +0100] rev 69392

tuned;

wenzelm [Sun, 02 Dec 2018 21:59:03 +0100] rev 69391

manage components similar to makedist_bundle (still inactive);

isabelle