Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/components/PLATFORMS
changeset 74419 ff0ca375457c
parent 74063 ff466b272267
child 75634 13a0efd9f2ed 
--- a/Admin/components/PLATFORMS	Sat Oct 02 18:18:09 2021 +0200
+++ b/Admin/components/PLATFORMS	Sat Oct 02 19:28:47 2021 +0200
@@ -43,7 +43,7 @@
   arm64-darwin      macOS 11 Big Sur
 
   x86_64-windows    Windows 10
-  x86_64-cygwin     Cygwin 3.1.x https://isabelle.sketis.net/cygwin_2021 (x86_64/release)
+  x86_64-cygwin     Cygwin 3.2.x https://isabelle.sketis.net/cygwin_2021-1 (x86_64/release)
 
 Experimental platforms:
isabelle