--- a/Admin/Release/CHECKLIST Wed Apr 24 20:56:26 2024 +0100
+++ b/Admin/Release/CHECKLIST Fri Apr 26 13:25:44 2024 +0200
@@ -27,8 +27,7 @@
- test "isabelle build HOL-Codegenerator_Test" with -new-syntax
(see also etc/settings:ISABELLE_SCALAC_OPTIONS);
-- test Windows 10 subsystem for Linux:
- https://docs.microsoft.com/en-us/windows/wsl/install-win10
+- test Windows Subsystem for Linux (e.g. on Windows Server 2022);
- check (non-)executable files:
$ find . "(" -name "*.thy" -o -name "*.ML" -o -name "*.scala" -o -name ROOT ")" -executable
--- a/Admin/components/README.md Wed Apr 24 20:56:26 2024 +0100
+++ b/Admin/components/README.md Fri Apr 26 13:25:44 2024 +0200
@@ -45,7 +45,7 @@
- macOS 14 Sonoma (`studio1` Mac13,2 M1 Ultra, 16+4 cores)
* `x86_64-windows`
- - **Windows Server 2012 Rev 2** (`vmnipkow9`)
+ - **Windows Server 2022** (`se0.proof.cit.tum.de`)
- **Windows 10**
- Windows 11
* `x86_64-cygwin`