Wed, 03 Apr 2024 11:35:06 +0200 | wenzelm | updated for release; | file | diff | annotate |
Sun, 27 Aug 2023 19:07:12 +0200 | wenzelm | update for release; | file | diff | annotate |
Sun, 13 Aug 2023 15:06:17 +0200 | wenzelm | avoid confusion: this is merely about "isabelle dotnet_setup", no codegen yet; | file | diff | annotate |
Tue, 08 Aug 2023 23:55:33 +0200 | wenzelm | more robust support for ARM64 platform; | file | diff | annotate |
Tue, 25 Jul 2023 15:04:17 +0200 | wenzelm | update for release; | file | diff | annotate |
Mon, 10 Jul 2023 22:44:28 +0200 | wenzelm | tuned; | file | diff | annotate |
Mon, 10 Jul 2023 22:42:39 +0200 | wenzelm | tuned; | file | diff | annotate |