isabelle: Changelog

wenzelm [Tue, 01 Jan 2019 21:47:27 +0100] rev 69566

more antiquotations -- less LaTeX macros;

wenzelm [Tue, 01 Jan 2019 20:57:54 +0100] rev 69565

retain important whitespace after 'text' that is suppressed, but swallows adjacent whitespace;

nipkow [Tue, 01 Jan 2019 13:26:37 +0100] rev 69564

tuned defs

wenzelm [Mon, 31 Dec 2018 22:21:34 +0100] rev 69563

merged

wenzelm [Mon, 31 Dec 2018 22:21:02 +0100] rev 69562

include loaded_files as doc_blobs (without purging);

wenzelm [Mon, 31 Dec 2018 21:12:22 +0100] rev 69561

tuned signature;

wenzelm [Mon, 31 Dec 2018 20:13:36 +0100] rev 69560

clarified signature;

wenzelm [Mon, 31 Dec 2018 20:08:32 +0100] rev 69559

tuned;

wenzelm [Mon, 31 Dec 2018 13:30:57 +0100] rev 69558

tuned;

wenzelm [Mon, 31 Dec 2018 13:07:24 +0100] rev 69557

update theory sources based on PIDE markup;

isabelle