wenzelm [Sat, 24 Feb 2024 10:21:41 +0100] rev 79715
removed unused database_server (amending 32ca3d1283de);
nipkow [Sat, 24 Feb 2024 11:29:30 +0100] rev 79714
timing function generation bug fix by Jonas Stahl
wenzelm [Fri, 23 Feb 2024 17:22:09 +0100] rev 79713
tuned signature: more types, fewer warnings in IntelliJ IDEA;
blanchet [Fri, 23 Feb 2024 09:11:31 +0100] rev 79712
new less ad hoc implementation of the 'moura' tactic for skolemization
wenzelm [Thu, 22 Feb 2024 21:42:02 +0100] rev 79711
more thorough Store.clean_output (amending 1fa1b32b0379);
wenzelm [Thu, 22 Feb 2024 21:28:55 +0100] rev 79710
clarified signature: Build_Process tells how to clean sessions;
wenzelm [Thu, 22 Feb 2024 21:03:55 +0100] rev 79709
clarified signature;
wenzelm [Thu, 22 Feb 2024 20:54:51 +0100] rev 79708
tuned;
wenzelm [Thu, 22 Feb 2024 20:37:53 +0100] rev 79707
tuned;
wenzelm [Thu, 22 Feb 2024 20:05:24 +0100] rev 79706
minor performance tuning;