isabelle: Changelog

wenzelm [Wed, 28 Dec 2016 17:35:12 +0100] rev 64684

clarified options;

wenzelm [Wed, 28 Dec 2016 17:26:38 +0100] rev 64683

clarified signature: maintan Text.Length within Line.Document;

wenzelm [Wed, 28 Dec 2016 17:10:09 +0100] rev 64682

clarified modules;

wenzelm [Wed, 28 Dec 2016 17:02:38 +0100] rev 64681

clarified signature: explicit Length to avoid implicit mistakes;

wenzelm [Wed, 28 Dec 2016 16:50:14 +0100] rev 64680

tuned;

wenzelm [Wed, 28 Dec 2016 16:45:00 +0100] rev 64679

more uniform treatment of input/output wrt. client; support for diagnistic messages; misc tuning;

wenzelm [Wed, 28 Dec 2016 11:28:31 +0100] rev 64678

tuned;

wenzelm [Wed, 28 Dec 2016 10:39:50 +0100] rev 64677

more uniform treatment of "bad" like other messages (with serial number);

wenzelm [Tue, 27 Dec 2016 17:33:57 +0100] rev 64676

clarified modules;

wenzelm [Tue, 27 Dec 2016 16:47:33 +0100] rev 64675

support for diagnostics;

isabelle