isabelle: Changelog

wenzelm [Fri, 14 Oct 2016 19:34:30 +0200] rev 64208

clarified platform families vs. bundles;

wenzelm [Fri, 14 Oct 2016 19:32:25 +0200] rev 64207

more general operations;

wenzelm [Fri, 14 Oct 2016 19:08:13 +0200] rev 64206

website index for existing bundles;

wenzelm [Fri, 14 Oct 2016 17:35:10 +0200] rev 64205

tuned messages;

wenzelm [Fri, 14 Oct 2016 17:31:08 +0200] rev 64204

added option -p for platform families; actually accept option -r;

wenzelm [Fri, 14 Oct 2016 16:53:26 +0200] rev 64203

more formal Release_Info; more incremental treatment of additional builds (bundles, library); tuned;

wenzelm [Thu, 13 Oct 2016 23:44:40 +0200] rev 64202

replaced shell script by Isabelle/Scala;

wenzelm [Thu, 13 Oct 2016 23:09:26 +0200] rev 64201

tuned;

wenzelm [Thu, 13 Oct 2016 22:59:20 +0200] rev 64200

tuned whitespace;

wenzelm [Thu, 13 Oct 2016 21:44:42 +0200] rev 64199

clarified;

isabelle