isabelle: Changelog

wenzelm [Sat, 22 Oct 2022 21:38:32 +0200] rev 76366

tuned;

wenzelm [Sat, 22 Oct 2022 21:20:55 +0200] rev 76365

tuned: more robust Scala syntax;

wenzelm [Sat, 22 Oct 2022 20:15:36 +0200] rev 76364

merged

wenzelm [Sat, 22 Oct 2022 20:06:55 +0200] rev 76363

no compression for database server: let PostgreSQL/TOAST do the job;

wenzelm [Sat, 22 Oct 2022 19:51:08 +0200] rev 76362

prefer Zstd compression, notably for database exports;

wenzelm [Sat, 22 Oct 2022 16:56:17 +0200] rev 76361

tuned: avoid redundant copy of potentially large array;

desharna [Sat, 22 Oct 2022 18:47:48 +0200] rev 76360

merged

desharna [Thu, 20 Oct 2022 14:43:29 +0200] rev 76359

tuned proof

wenzelm [Fri, 21 Oct 2022 21:39:38 +0200] rev 76358

clarified signature; more direct Zstd compression using arrays instead of streams;

wenzelm [Fri, 21 Oct 2022 19:14:01 +0200] rev 76357

tuned signature, following isabelle.setup.Environment;

isabelle