isabelle: Changelog

wenzelm [Thu, 04 Nov 2021 12:25:23 +0100] rev 74683

clarified signature: more direct XML.symbol_length;

wenzelm [Thu, 04 Nov 2021 12:19:49 +0100] rev 74682

more direct Symbol.length: Symbol.decode is redundant, symbol counts are invariant under it;

wenzelm [Thu, 04 Nov 2021 12:01:28 +0100] rev 74681

tuned -- eliminate clones stemming from d28a51dd9da6;

wenzelm [Wed, 03 Nov 2021 22:57:21 +0100] rev 74680

more to ANNOUNCE;

wenzelm [Wed, 03 Nov 2021 22:55:22 +0100] rev 74679

clarified link style: similar to Isabelle/jEdit;

wenzelm [Wed, 03 Nov 2021 22:03:56 +0100] rev 74678

tuned;

wenzelm [Wed, 03 Nov 2021 21:06:04 +0100] rev 74677

improved HTML presentation by Fabian Huch;

wenzelm [Wed, 03 Nov 2021 20:53:52 +0100] rev 74676

proper HTTPS;

wenzelm [Wed, 03 Nov 2021 20:45:02 +0100] rev 74675

proper markup type (amending be49c660ebbf);

wenzelm [Wed, 03 Nov 2021 16:23:32 +0100] rev 74674

merged;

isabelle