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 81755 1609254b74c5
parent 81109 78fd95fe4a6f
child 82066 fb7bd2c8ba5e 
--- a/Admin/components/README.md	Thu Jan 09 10:13:05 2025 +0100
+++ b/Admin/components/README.md	Thu Jan 09 14:53:05 2025 +0100
@@ -50,7 +50,7 @@
       - Windows 11
   * `x86_64-cygwin`
       - **Cygwin 3.5.x**
-        https://isabelle.sketis.net/cygwin_2024 (`x86_64/release`)
+        https://isabelle.sketis.net/cygwin_2025 (`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