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/README.md
changeset 83493 c485d66e5a6e
parent 82320 8d9b5289304c
child 83495 e45a4cff0775 
--- a/Admin/components/README.md	Mon Nov 03 19:32:52 2025 +0100
+++ b/Admin/components/README.md	Mon Nov 03 21:09:20 2025 +0100
@@ -50,8 +50,8 @@
       - **Windows 10**
       - Windows 11
   * `x86_64-cygwin`
-      - **Cygwin 3.5.x**
-        https://isabelle.sketis.net/cygwin_2025 (`x86_64/release`)
+      - **Cygwin 3.6.x**
+        https://isabelle.sketis.net/cygwin_2025-1 (`x86_64/release`)
 
 Multi-platform tools require thorough testing on all platforms: base-line and
 latest versions. It "works for me on my system" is not sufficient for the
isabelle