isabelle: Changelog

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;

isabelle