isabelle: Changelog

wenzelm [Thu, 17 Aug 2023 16:15:25 +0200] rev 78534

clarified main_loop: support timeout, which results in consume(Nil);

wenzelm [Thu, 17 Aug 2023 15:12:18 +0200] rev 78533

tuned;

wenzelm [Thu, 17 Aug 2023 14:46:24 +0200] rev 78532

clarified signature;

wenzelm [Thu, 17 Aug 2023 14:43:45 +0200] rev 78531

tuned signature;

wenzelm [Wed, 16 Aug 2023 14:50:17 +0200] rev 78530

tuned signature;

wenzelm [Wed, 16 Aug 2023 14:42:43 +0200] rev 78529

build_worker is stopped independently from master build_process;

wenzelm [Sun, 13 Aug 2023 19:27:58 +0200] rev 78528

clarified command arguments: optionally restrict to given theories (from theory loader);

wenzelm [Sun, 13 Aug 2023 19:23:53 +0200] rev 78527

tuned signature: more operations for formal theory context vs. theory loader;

wenzelm [Sun, 13 Aug 2023 17:50:31 +0200] rev 78526

added Isar command 'print_context_tracing';

wenzelm [Sun, 13 Aug 2023 15:06:17 +0200] rev 78525

avoid confusion: this is merely about "isabelle dotnet_setup", no codegen yet;

isabelle