isabelle: Changelog

wenzelm [Fri, 28 Apr 2017 11:50:31 +0200] rev 65602

tuned signature;

wenzelm [Fri, 28 Apr 2017 11:45:44 +0200] rev 65601

more standard multi-line storage in database: Prop.separator is only required for single-line meta_info within log file;

wenzelm [Fri, 28 Apr 2017 11:29:41 +0200] rev 65600

clarified filter_files: sorted and unique;

wenzelm [Fri, 28 Apr 2017 00:17:34 +0200] rev 65599

database storage of Meta_Info and Build_Info;

wenzelm [Thu, 27 Apr 2017 23:36:59 +0200] rev 65598

allow null;

wenzelm [Thu, 27 Apr 2017 23:36:16 +0200] rev 65597

more encode/decode operations;

wenzelm [Thu, 27 Apr 2017 22:21:43 +0200] rev 65596

proper prefix;

wenzelm [Thu, 27 Apr 2017 16:54:45 +0200] rev 65595

support for database connection;

wenzelm [Thu, 27 Apr 2017 15:56:55 +0200] rev 65594

clarified treatment of default port;

wenzelm [Thu, 27 Apr 2017 11:41:13 +0200] rev 65593

tuned signature;

isabelle