isabelle: Changelog

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;

wenzelm [Sat, 02 Jan 2021 16:30:43 +0100] rev 73028

tuned signature;

wenzelm [Sat, 02 Jan 2021 16:12:52 +0100] rev 73027

clarified boundary case;

wenzelm [Sat, 02 Jan 2021 16:09:45 +0100] rev 73026

more uniform default --- hardly relevant in practice;

wenzelm [Sat, 02 Jan 2021 16:07:40 +0100] rev 73025

proper ssh_port (amending ffd8283b7be0);

wenzelm [Sat, 02 Jan 2021 15:58:48 +0100] rev 73024

clarified signature --- internal Cache.none;

wenzelm [Sat, 02 Jan 2021 14:24:03 +0100] rev 73023

tuned comments;

wenzelm [Sat, 02 Jan 2021 00:05:25 +0100] rev 73022

more verbosity for potentially bulky presentation;

isabelle