isabelle: Changelog

wenzelm [Wed, 21 Jun 2023 15:53:38 +0200] rev 78191

tuned signature;

wenzelm [Wed, 21 Jun 2023 15:41:18 +0200] rev 78190

proper clean_entry;

wenzelm [Wed, 21 Jun 2023 15:31:18 +0200] rev 78189

afford larger build_database_slice for better compression (HOL: 1 slice, HOL-Proofs: multiple slices for testing);

wenzelm [Wed, 21 Jun 2023 15:20:58 +0200] rev 78188

prefer system option;

wenzelm [Wed, 21 Jun 2023 14:27:51 +0200] rev 78187

clarified signature: more explicit class SQL.Data;

wenzelm [Wed, 21 Jun 2023 11:42:11 +0200] rev 78186

proper ML_Heap.clean_entry;

wenzelm [Wed, 21 Jun 2023 11:15:04 +0200] rev 78185

tuned signature;

wenzelm [Wed, 21 Jun 2023 11:05:20 +0200] rev 78184

tuned;

wenzelm [Tue, 20 Jun 2023 22:57:34 +0200] rev 78183

store heaps within database server;

wenzelm [Tue, 20 Jun 2023 18:23:17 +0200] rev 78182

tuned signature;

isabelle