blanchet [Fri, 10 Mar 2023 11:56:52 +0100] rev 77601
don't try to falisfy goals with schematics
wenzelm [Thu, 09 Mar 2023 14:29:46 +0100] rev 77600
enforce rebuild of Isabelle/ML;
wenzelm [Thu, 09 Mar 2023 12:55:00 +0100] rev 77599
more robust transactions;
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);