# HG changeset patch
# User wenzelm
# Date 1520190549 -3600
# Node ID f95a163c58bbfac30a97e19d59a4c69fe2befe9d
# Parent  6033342303035d9d044b506636dd886ec281fc11
document existing Apache2 configuration;

diff -r 603334230303 -r f95a163c58bb Admin/Windows/Cygwin/README
--- a/Admin/Windows/Cygwin/README	Sun Mar 04 15:10:11 2018 +0100
+++ b/Admin/Windows/Cygwin/README	Sun Mar 04 20:09:09 2018 +0100
@@ -16,6 +16,22 @@
   http://isabelle.in.tum.de/cygwin_2016-1  (Isabelle2016-1)
   http://isabelle.in.tum.de/cygwin_2017  (Isabelle2017)
 
+* Apache2 redirects for virtual host isabelle.conf:
+  Redirect /cygwin/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
+  Redirect /cygwin_2013/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
+  Redirect /cygwin_2013-1/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
+  Redirect /cygwin_2013-1/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
+  Redirect /cygwin_2014/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
+  Redirect /cygwin_2015/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
+  Redirect /cygwin_2015/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
+  Redirect /cygwin_2016/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
+  Redirect /cygwin_2016/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
+  Redirect /cygwin_2016-1/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
+  Redirect /cygwin_2016-1/noarch/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
+  Redirect /cygwin_2017/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
+  Redirect /cygwin_2017/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
+  Redirect /cygwin_2017/noarch/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
+
 * Quasi-component: "isabelle build_cygwin" (as Administrator)
 
 * SSH server: