Fabian Huch <huch@in.tum.de> [Wed, 13 Mar 2024 11:54:06 +0100] rev 79880
clarified build schedule host: proper module;
Fabian Huch <huch@in.tum.de> [Wed, 13 Mar 2024 11:45:20 +0100] rev 79879
remove unused dummy;
Fabian Huch <huch@in.tum.de> [Wed, 13 Mar 2024 11:05:53 +0100] rev 79878
tuned;
Fabian Huch <huch@in.tum.de> [Tue, 12 Mar 2024 13:52:29 +0100] rev 79877
use timeout as default build time predictor if no data is available;
paulson [Tue, 12 Mar 2024 16:20:02 +0000] rev 79876
merged
paulson <lp15@cam.ac.uk> [Tue, 12 Mar 2024 16:19:52 +0000] rev 79875
Restored Riemann_Mapping as an import of Complex_Analysis
wenzelm [Tue, 12 Mar 2024 15:58:40 +0100] rev 79874
proper file headers;
wenzelm [Tue, 12 Mar 2024 15:57:25 +0100] rev 79873
clarified modules;
wenzelm [Tue, 12 Mar 2024 15:31:44 +0100] rev 79872
merged
wenzelm [Tue, 12 Mar 2024 15:30:32 +0100] rev 79871
database performance tuning: pull changed entries only, based on recorded updates (see 98d65411bfdb);
wenzelm [Tue, 12 Mar 2024 15:11:29 +0100] rev 79870
tuned signature: more operations;
wenzelm [Tue, 12 Mar 2024 13:17:25 +0100] rev 79869
clarified signature: more explicit types;
wenzelm [Tue, 12 Mar 2024 11:18:38 +0100] rev 79868
tuned signature;
wenzelm [Tue, 12 Mar 2024 11:16:06 +0100] rev 79867
removed somewhat pointless check;
wenzelm [Tue, 12 Mar 2024 11:14:02 +0100] rev 79866
tuned signature: fewer warnings in IntelliJ IDEA;