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/Windows/Cygwin/README
changeset 81755 1609254b74c5
parent 80145 0eff7d113549
child 83493 c485d66e5a6e 
--- a/Admin/Windows/Cygwin/README	Thu Jan 09 10:13:05 2025 +0100
+++ b/Admin/Windows/Cygwin/README	Thu Jan 09 14:53:05 2025 +0100
@@ -23,6 +23,7 @@
   - https://isabelle.sketis.net/cygwin_2022  (Isabelle2022)
   - https://isabelle.sketis.net/cygwin_2023  (Isabelle2023)
   - https://isabelle.sketis.net/cygwin_2024  (Isabelle2024)
+  - https://isabelle.sketis.net/cygwin_2025  (Isabelle2025)
 
 * Apache2 redirects for virtual host isabelle.conf:
 ```
@@ -60,6 +61,8 @@
   Redirect /cygwin_2023/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
   Redirect /cygwin_2024/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
   Redirect /cygwin_2024/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
+  Redirect /cygwin_2025/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
+  Redirect /cygwin_2025/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
 ```
 
 * Quasi-component: "isabelle component_cygwin" (as Administrator)
isabelle