isabelle: Changelog

wenzelm [Wed, 13 Mar 2024 11:23:22 +0100] rev 79883

proper system option, instead of hardwired default;

wenzelm [Wed, 13 Mar 2024 11:04:06 +0100] rev 79882

tuned signature: fewer warnings in IntelliJ IDEA;

wenzelm [Wed, 13 Mar 2024 10:58:15 +0100] rev 79881

tuned comments;

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;

isabelle