isabelle: Changelog

wenzelm [Mon, 27 Feb 2023 20:09:58 +0100] rev 77401

proper SQL (amending 7ab9bac1ca96);

wenzelm [Mon, 27 Feb 2023 15:31:19 +0100] rev 77400

clarified signature: more explicit "synchronized" regions;

wenzelm [Mon, 27 Feb 2023 15:25:46 +0100] rev 77399

more robust interrupt handling, notably for Build_Job.terminate();

wenzelm [Mon, 27 Feb 2023 15:09:59 +0100] rev 77398

clarified signature: works for general Build_Job;

wenzelm [Mon, 27 Feb 2023 15:02:14 +0100] rev 77397

tuned;

wenzelm [Mon, 27 Feb 2023 14:57:39 +0100] rev 77396

clarified modules;

wenzelm [Mon, 27 Feb 2023 14:15:14 +0100] rev 77395

clarified signature;

wenzelm [Mon, 27 Feb 2023 11:59:22 +0100] rev 77394

proper log_lines, without protocol messages (amending cb3f5361fbca);

wenzelm [Mon, 27 Feb 2023 11:43:05 +0100] rev 77393

clarified signature;

wenzelm [Mon, 27 Feb 2023 11:19:16 +0100] rev 77392

tuned messages;

isabelle