isabelle: Changelog

wenzelm [Sun, 03 Jan 2021 23:01:16 +0100] rev 73038

some attempts at multi-platform full-screen mode;

wenzelm [Sun, 03 Jan 2021 22:06:19 +0100] rev 73037

more operations;

wenzelm [Sun, 03 Jan 2021 16:21:59 +0100] rev 73036

clarified HTML presentation elements;

wenzelm [Sun, 03 Jan 2021 12:11:56 +0100] rev 73035

more robust bootstrap: Isabelle-jEdit.shasum could be absent;

wenzelm [Sat, 02 Jan 2021 23:03:47 +0100] rev 73034

tuned whitespace (amending a4bffc0de967);

wenzelm [Sat, 02 Jan 2021 22:50:09 +0100] rev 73033

clarified caching;

wenzelm [Sat, 02 Jan 2021 22:40:06 +0100] rev 73032

persistent hash code: much faster caching;

wenzelm [Sat, 02 Jan 2021 22:22:34 +0100] rev 73031

clarified signature: absorb XZ.Cache into XML.Cache;

wenzelm [Sat, 02 Jan 2021 20:56:08 +0100] rev 73030

support more direct hash-consing via XML.Cache;

wenzelm [Sat, 02 Jan 2021 16:39:07 +0100] rev 73029

tuned;

isabelle