isabelle: Changelog

wenzelm [Thu, 20 Jul 2023 12:38:00 +0200] rev 78417

clarified signature: more operations;

wenzelm [Thu, 20 Jul 2023 12:29:57 +0200] rev 78416

tuned signature;

wenzelm [Thu, 20 Jul 2023 12:11:34 +0200] rev 78415

clarified file location: to be used by regular Isabelle/Scala tools;

wenzelm [Thu, 20 Jul 2023 12:10:54 +0200] rev 78414

update headers;

wenzelm [Thu, 20 Jul 2023 12:02:52 +0200] rev 78413

more pro-forma support for Build_Cluster;

wenzelm [Thu, 20 Jul 2023 11:10:28 +0200] rev 78412

tuned;

wenzelm [Wed, 19 Jul 2023 16:56:24 +0200] rev 78411

tuned;

wenzelm [Wed, 19 Jul 2023 16:48:22 +0200] rev 78410

clarified options;

wenzelm [Wed, 19 Jul 2023 16:04:59 +0200] rev 78409

clarified options;

wenzelm [Wed, 19 Jul 2023 15:56:32 +0200] rev 78408

proper Build_Cluster.Host.parse for parameters and system options; clarified Build_Cluster.Host: empty "host" means local;

isabelle