Wed, 16 Aug 2023 14:50:17 +0200 | wenzelm | tuned signature; | changeset | files |
Wed, 16 Aug 2023 14:42:43 +0200 | wenzelm | build_worker is stopped independently from master build_process; | changeset | files |
Sun, 13 Aug 2023 19:27:58 +0200 | wenzelm | clarified command arguments: optionally restrict to given theories (from theory loader); | changeset | files |
Sun, 13 Aug 2023 19:23:53 +0200 | wenzelm | tuned signature: more operations for formal theory context vs. theory loader; | changeset | files |
Sun, 13 Aug 2023 17:50:31 +0200 | wenzelm | added Isar command 'print_context_tracing'; | changeset | files |
Sun, 13 Aug 2023 15:06:17 +0200 | wenzelm | avoid confusion: this is merely about "isabelle dotnet_setup", no codegen yet; | changeset | files |