Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified Windows base line;
authorwenzelm
Sat, 31 Oct 2020 21:06:29 +0100
changeset 72526 a3d096a98b69
parent 72525 8eb0b663fa20
child 72532 088e2141f5e6
clarified Windows base line;
Admin/PLATFORMS file | annotate | diff | comparison | revisions 
--- 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):
isabelle