# HG changeset patch
# User wenzelm
# Date 1714130744 -7200
# Node ID 96f60533ec1da892b07f957eeafed0597acbaa43
# Parent  40a3fc07a587949f07520c1a902762dd6cdc68da
update Windows test machines;

diff -r 40a3fc07a587 -r 96f60533ec1d Admin/Release/CHECKLIST
--- 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
diff -r 40a3fc07a587 -r 96f60533ec1d Admin/components/README.md
--- 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`