isabelle: Changelog

wenzelm [Fri, 07 Dec 2018 12:25:31 +0100] rev 69417

tuned;

wenzelm [Thu, 06 Dec 2018 20:36:50 +0100] rev 69416

obsolete;

wenzelm [Thu, 06 Dec 2018 16:48:40 +0100] rev 69415

clarified error;

wenzelm [Thu, 06 Dec 2018 16:40:56 +0100] rev 69414

clarified defaults: explicit "rev" takes precedence;

wenzelm [Thu, 06 Dec 2018 15:44:31 +0100] rev 69413

more explicit Components.Archive; support additional components, which also enforces clean bundling;

wenzelm [Thu, 06 Dec 2018 14:51:09 +0100] rev 69412

proper ISABELLE_DOCS_RELEASE_NOTES (amending 39044da8bb5a);

wenzelm [Thu, 06 Dec 2018 14:47:04 +0100] rev 69411

tuned message;

wenzelm [Thu, 06 Dec 2018 14:25:27 +0100] rev 69410

more explicit Platform.Family;

wenzelm [Thu, 06 Dec 2018 12:55:53 +0100] rev 69409

clarified doc sections: add-on components may focus their own application name;

wenzelm [Thu, 06 Dec 2018 00:24:21 +0100] rev 69408

more robust, notably for macos /var vs. /private/var;

isabelle