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;
blanchet [Fri, 25 Aug 2023 11:31:24 +0200] rev 78524
avoid using FOOL syntax with older Vampire versions because of soundness bug visible by passing 'Abs_unit_cases Rep_unit Rep_unit_cases' as the facts to Sledgehammer
paulson [Fri, 25 Aug 2023 09:56:45 +0100] rev 78523
merged
paulson <lp15@cam.ac.uk> [Thu, 24 Aug 2023 21:40:24 +0100] rev 78522
some refinements in Algebra and Number_Theory
Lars Hupel <lars.hupel@mytum.de> [Fri, 25 Aug 2023 08:33:46 +0200] rev 78521
provide Go component