Admin/PLATFORMS

--- a/Admin/PLATFORMS	Sat Oct 31 21:02:45 2020 +0100
+++ b/Admin/PLATFORMS	Sat Oct 31 21:06:29 2020 +0100
@@ -39,7 +39,7 @@
                     macOS 10.14 Mojave (mini2 Macmini8,1)
                     macOS 10.15 Catalina (laramac01 Macmini8,1)
 
-  x86_64-windows    Windows 7
+  x86_64-windows    Windows 10
   x86_64-cygwin     Cygwin 3.1.x https://isabelle.sketis.net/cygwin_2021 (x86_64/release)
 
 Old (partial support):