isabelle: Changelog

wenzelm [Thu, 09 Mar 2017 15:08:44 +0100] rev 65159

proper treatment of line that becomes empty;

wenzelm [Thu, 09 Mar 2017 14:05:34 +0100] rev 65158

tuned;

wenzelm [Thu, 09 Mar 2017 11:34:24 +0100] rev 65157

clarified Document.offset: including final position; support Document.change according to VSCode;

wenzelm [Wed, 08 Mar 2017 21:41:14 +0100] rev 65156

suppress vacuous edits;

wenzelm [Wed, 08 Mar 2017 20:30:05 +0100] rev 65155

clarified native Text.Offset versus Text.Length index Int;

wenzelm [Wed, 08 Mar 2017 20:25:57 +0100] rev 65154

tuned;

wenzelm [Wed, 08 Mar 2017 11:45:41 +0100] rev 65153

tuned;

wenzelm [Wed, 08 Mar 2017 11:30:13 +0100] rev 65152

tuned messages;

wenzelm [Wed, 08 Mar 2017 10:50:59 +0100] rev 65151

tuned proofs;

wenzelm [Wed, 08 Mar 2017 10:29:40 +0100] rev 65150

clarified rendering;

isabelle