wenzelm [Sat, 11 Mar 2023 14:18:56 +0100] rev 77614
clarified signature;
wenzelm [Sat, 11 Mar 2023 13:37:58 +0100] rev 77613
tuned;
wenzelm [Sat, 11 Mar 2023 13:31:16 +0100] rev 77612
avoid hard-wired stuff (see also 78f2475aa126);
wenzelm [Sat, 11 Mar 2023 12:48:37 +0100] rev 77611
clarified tags;
wenzelm [Sat, 11 Mar 2023 12:41:53 +0100] rev 77610
clarified session prefs (or "options" within the database);
wenzelm [Sat, 11 Mar 2023 11:51:19 +0100] rev 77609
tuned signature;
wenzelm [Sat, 11 Mar 2023 11:43:47 +0100] rev 77608
tuned comments;
wenzelm [Sat, 11 Mar 2023 11:36:18 +0100] rev 77607
unused (see 268bf61631ec);
wenzelm [Sat, 11 Mar 2023 11:31:58 +0100] rev 77606
clarified exported options;
wenzelm [Sat, 11 Mar 2023 11:24:02 +0100] rev 77605
clarified signature;
wenzelm [Sat, 11 Mar 2023 11:14:24 +0100] rev 77604
do not export connection details (password etc.);
wenzelm [Sat, 11 Mar 2023 11:13:53 +0100] rev 77603
support option tags;
blanchet [Fri, 10 Mar 2023 15:27:18 +0100] rev 77602
use simplifier to classify the missing assumptions in Sledgehammer's abduction mechanism
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);
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
wenzelm [Wed, 08 Mar 2023 15:57:43 +0100] rev 77588
assume total operation: ProcessHandle.current().info.startInstant appears to work on all platforms;
wenzelm [Wed, 08 Mar 2023 15:50:29 +0100] rev 77587
more database content, e.g. for monitoring;
wenzelm [Wed, 08 Mar 2023 15:25:55 +0100] rev 77586
tuned structure;
wenzelm [Wed, 08 Mar 2023 15:22:57 +0100] rev 77585
tuned signature;