isabelle: Changelog

wenzelm [Tue, 20 Jun 2023 14:25:06 +0200] rev 78178

clarified modules;

Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Mon, 19 Jun 2023 22:28:09 +0200] rev 78177

early inclusion of cvc5 proof reconstruction; slightly reorganize smt/z3_reals;

wenzelm [Sat, 17 Jun 2023 17:41:02 +0200] rev 78176

merged

wenzelm [Sat, 17 Jun 2023 17:29:31 +0200] rev 78175

proper close;

wenzelm [Sat, 17 Jun 2023 15:58:41 +0200] rev 78174

separate host.db for independent db.transaction_lock;

wenzelm [Sat, 17 Jun 2023 14:45:24 +0200] rev 78173

tuned comments;

wenzelm [Sat, 17 Jun 2023 13:09:11 +0200] rev 78172

omit redundant data: already stored in progress database;

wenzelm [Sat, 17 Jun 2023 12:52:45 +0200] rev 78171

tuned signature: more operations;

wenzelm [Fri, 16 Jun 2023 14:20:18 +0200] rev 78170

proper support for SQLite: avoid conflicts on transaction_lock;

wenzelm [Fri, 16 Jun 2023 14:01:30 +0200] rev 78169

minor performance tuning: avoid external process;

isabelle