isabelle: Changelog

wenzelm [Thu, 05 Jan 2017 21:34:04 +0100] rev 64806

more robust treatment of logical lines;

wenzelm [Thu, 05 Jan 2017 16:46:01 +0100] rev 64805

updated package;

wenzelm [Thu, 05 Jan 2017 16:40:11 +0100] rev 64804

proper name for recursive grammar; pro-forma update of fileTypes;

wenzelm [Thu, 05 Jan 2017 16:23:51 +0100] rev 64803

emit Commands_Changed for blobs as well, e.g. relevant for isabelle.vscode.Server.prover_output;

wenzelm [Thu, 05 Jan 2017 16:16:18 +0100] rev 64802

suppress empty results;

wenzelm [Thu, 05 Jan 2017 15:32:32 +0100] rev 64801

tuned;

wenzelm [Thu, 05 Jan 2017 15:15:51 +0100] rev 64800

manage document blobs as well;

wenzelm [Thu, 05 Jan 2017 12:23:25 +0100] rev 64799

misc tuning and clarification;

wenzelm [Thu, 05 Jan 2017 10:49:47 +0100] rev 64798

tuned;

wenzelm [Thu, 05 Jan 2017 10:10:51 +0100] rev 64797

tuned;

isabelle