isabelle: Changelog

wenzelm [Tue, 13 Apr 2021 11:44:47 +0200] rev 73577

tuned signature;

wenzelm [Mon, 12 Apr 2021 22:57:39 +0200] rev 73576

support for base64 via Isabelle/Scala/ML;

wenzelm [Mon, 12 Apr 2021 22:45:38 +0200] rev 73575

compile;

wenzelm [Mon, 12 Apr 2021 22:41:51 +0200] rev 73574

clarified signature: avoid overlap of String vs. Bytes (both are CharSequence);

wenzelm [Mon, 12 Apr 2021 22:36:13 +0200] rev 73573

clarified signature (again);

wenzelm [Mon, 12 Apr 2021 22:26:30 +0200] rev 73572

merged

wenzelm [Mon, 12 Apr 2021 22:26:09 +0200] rev 73571

clarified signature;

wenzelm [Mon, 12 Apr 2021 22:18:37 +0200] rev 73570

unused;

wenzelm [Mon, 12 Apr 2021 22:17:48 +0200] rev 73569

unused;

wenzelm [Mon, 12 Apr 2021 22:16:31 +0200] rev 73568

clarified signature: more structured arguments, notably for remote provers;

isabelle