# HG changeset patch # User wenzelm # Date 1627223896 -7200 # Node ID b3f072aa46908434897258334938f686f6e7eeaa # Parent f175fd68b6a92611ea35fa7fc963a841fafa6467 updated for Isabelle2021 release; diff -r f175fd68b6a9 -r b3f072aa4690 Admin/Windows/Cygwin/README --- a/Admin/Windows/Cygwin/README Sun Jul 25 16:12:23 2021 +0200 +++ b/Admin/Windows/Cygwin/README Sun Jul 25 16:38:16 2021 +0200 @@ -18,6 +18,7 @@ - https://isabelle.sketis.net/cygwin_2018 (Isabelle2018) - https://isabelle.sketis.net/cygwin_2019 (Isabelle2019) - https://isabelle.sketis.net/cygwin_2020 (Isabelle2020) + - https://isabelle.sketis.net/cygwin_2021 (Isabelle2021) * Apache2 redirects for virtual host isabelle.conf: ``` @@ -43,6 +44,8 @@ Redirect /cygwin_2019/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release Redirect /cygwin_2020/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release Redirect /cygwin_2020/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release + Redirect /cygwin_2021/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release + Redirect /cygwin_2021/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release ``` * Quasi-component: "isabelle build_cygwin" (as Administrator)