isabelle: Changelog

wenzelm [Thu, 26 Oct 2023 16:04:48 +0200] rev 78850

proper private_data.transaction_lock; prefer execute_batch_statement;

wenzelm [Thu, 26 Oct 2023 15:38:27 +0200] rev 78849

clarified names;

wenzelm [Thu, 26 Oct 2023 12:36:19 +0200] rev 78848

proper support for SSH;

wenzelm [Thu, 26 Oct 2023 12:27:10 +0200] rev 78847

tuned signature;

wenzelm [Thu, 26 Oct 2023 11:50:50 +0200] rev 78846

tuned imports;

Fabian Huch <huch@in.tum.de> [Wed, 18 Oct 2023 20:51:24 +0200] rev 78845

add module for faster scheduled builds;

Fabian Huch <huch@in.tum.de> [Wed, 18 Oct 2023 20:26:02 +0200] rev 78844

always use host database and make protected;

Fabian Huch <huch@in.tum.de> [Wed, 18 Oct 2023 20:12:07 +0200] rev 78843

read relative cpu from build log;

Fabian Huch <huch@in.tum.de> [Wed, 18 Oct 2023 20:07:54 +0200] rev 78842

prefer extensible next_node_info in build process over process_options in build engine (which needs the final node info anyway);

Fabian Huch <huch@in.tum.de> [Wed, 18 Oct 2023 19:53:39 +0200] rev 78841

added start date to build jobs, e.g., for build time estimation;

isabelle