isabelle: Changelog

wenzelm [Wed, 28 Dec 2016 19:15:52 +0100] rev 64688

precise full_range and thus proper try_restrict in Snapshot.cumulate;

wenzelm [Wed, 28 Dec 2016 17:54:55 +0100] rev 64687

clarified protocol errors;

wenzelm [Wed, 28 Dec 2016 17:49:47 +0100] rev 64686

clarified signature;

wenzelm [Wed, 28 Dec 2016 17:38:12 +0100] rev 64685

unused;

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;

isabelle