isabelle: Changelog

wenzelm [Tue, 17 Jan 2017 16:01:52 +0100] rev 64915

misc tuning and modernization;

wenzelm [Tue, 17 Jan 2017 15:40:33 +0100] rev 64914

prefer context groups;

wenzelm [Tue, 17 Jan 2017 14:56:47 +0100] rev 64913

more symbols;

wenzelm [Tue, 17 Jan 2017 14:56:15 +0100] rev 64912

misc tuning and modernization;

wenzelm [Tue, 17 Jan 2017 13:59:10 +0100] rev 64911

isabelle update_cartouches -c -t;

wenzelm [Tue, 17 Jan 2017 11:26:21 +0100] rev 64910

more symbols via abbrevs;

wenzelm [Mon, 16 Jan 2017 21:53:44 +0100] rev 64909

tuned signature;

wenzelm [Mon, 16 Jan 2017 21:33:09 +0100] rev 64908

clarified classical rules;

wenzelm [Mon, 16 Jan 2017 21:20:30 +0100] rev 64907

misc tuning and updates according to Curry-Club Dec-2016;

wenzelm [Mon, 16 Jan 2017 16:12:29 +0100] rev 64906

added option -n, e.g. useful to generate Dockerfile only;

isabelle