isabelle: Changelog

wenzelm [Thu, 22 Nov 2018 15:47:58 +0100] rev 69326

tuned;

haftmann [Thu, 22 Nov 2018 10:06:31 +0000] rev 69325

removed legacy input syntax

haftmann [Thu, 22 Nov 2018 10:06:30 +0000] rev 69324

avoid compound operator

wenzelm [Wed, 21 Nov 2018 15:29:15 +0100] rev 69323

updated version;

wenzelm [Wed, 21 Nov 2018 15:19:11 +0100] rev 69322

more robust (see https://code.visualstudio.com/docs/extensionAPI/document-selectors);

wenzelm [Wed, 21 Nov 2018 14:45:24 +0100] rev 69321

tuned;

wenzelm [Wed, 21 Nov 2018 14:33:30 +0100] rev 69320

more comment markup;

wenzelm [Tue, 20 Nov 2018 13:46:13 +0100] rev 69319

tuned -- refining auto-update 15e9ed5b28fb;

wenzelm [Tue, 20 Nov 2018 13:44:06 +0100] rev 69318

clarified presentation;

nipkow [Mon, 19 Nov 2018 15:32:12 +0100] rev 69317

merged

isabelle