wenzelm [Thu, 09 Mar 2023 12:54:19 +0100] rev 77598
proper support for Option[Date] columns;
wenzelm [Thu, 09 Mar 2023 12:13:01 +0100] rev 77597
more robust transactions;
wenzelm [Thu, 09 Mar 2023 11:55:20 +0100] rev 77596
clarified signature;
wenzelm [Wed, 08 Mar 2023 22:43:04 +0100] rev 77595
enforce rebuild of Isabelle/ML;
wenzelm [Wed, 08 Mar 2023 22:42:21 +0100] rev 77594
proper test (amending 32f9e75c92e9);
wenzelm [Wed, 08 Mar 2023 22:40:47 +0100] rev 77593
updated to sqlite-jdbc-3.41.0.0;
wenzelm [Wed, 08 Mar 2023 22:40:15 +0100] rev 77592
proper shasum lines (amending 3070001c9d1f);
wenzelm [Wed, 08 Mar 2023 22:22:35 +0100] rev 77591
more robust transactions;
wenzelm [Wed, 08 Mar 2023 22:08:48 +0100] rev 77590
explicit locking for PostgreSQL --- neither available nor required for SQLite;
wenzelm [Wed, 08 Mar 2023 20:19:05 +0100] rev 77589
merged