isabelle: Changelog

wenzelm [Mon, 02 Nov 2015 18:31:57 +0100] rev 61547

avoid premature flushing and thus flashing of text area;

wenzelm [Mon, 02 Nov 2015 18:30:25 +0100] rev 61546

tuned whitespace;

wenzelm [Mon, 02 Nov 2015 18:09:14 +0100] rev 61545

clarified Query_Operation.State, with separate instance to avoid extra flush (see also 6ddeb83eb67a);

wenzelm [Mon, 02 Nov 2015 16:03:03 +0100] rev 61544

redundant;

wenzelm [Mon, 02 Nov 2015 16:02:32 +0100] rev 61543

tuned whitespace;

wenzelm [Mon, 02 Nov 2015 14:09:14 +0100] rev 61542

tuned document;

wenzelm [Mon, 02 Nov 2015 13:58:19 +0100] rev 61541

tuned document;

wenzelm [Mon, 02 Nov 2015 11:43:02 +0100] rev 61540

tuned document;

wenzelm [Mon, 02 Nov 2015 11:10:28 +0100] rev 61539

isabelle update_cartouches -t;

wenzelm [Mon, 02 Nov 2015 10:38:42 +0100] rev 61538

avoid highlighted area getting "stuck" after edit;

isabelle