isabelle: Changelog

wenzelm [Wed, 31 Jan 2018 11:26:50 +0100] rev 67551

clarified signature;

wenzelm [Wed, 31 Jan 2018 11:23:53 +0100] rev 67550

explicit dummy token;

wenzelm [Wed, 31 Jan 2018 11:18:36 +0100] rev 67549

clarified modules;

wenzelm [Wed, 31 Jan 2018 11:09:05 +0100] rev 67548

clarified signature;

wenzelm [Tue, 30 Jan 2018 23:01:38 +0100] rev 67547

clarified breakgain: keeping it constant avoids margin fluctuation in Pretty_Tooltip vs. Pretty_Text_Area;

wenzelm [Tue, 30 Jan 2018 22:46:00 +0100] rev 67546

clarified lines: like split_lines;

wenzelm [Tue, 30 Jan 2018 20:36:18 +0100] rev 67545

tuned;

wenzelm [Tue, 30 Jan 2018 20:21:55 +0100] rev 67544

unused;

wenzelm [Tue, 30 Jan 2018 20:20:46 +0100] rev 67543

tuned;

wenzelm [Tue, 30 Jan 2018 20:12:41 +0100] rev 67542

simplified: prod_count is always NONE;

isabelle