# HG changeset patch
# User wenzelm
# Date 1406314557 -7200
# Node ID 66383b68d17292a368de3aed51d2f8547fdcb2ce
# Parent  cca7e8788481f2a69bac417a8facebbef92f76b9
updated to cygwin-20140725, which is presumably close to Cygwin 1.7.31-1;

diff -r cca7e8788481 -r 66383b68d172 Admin/Windows/Cygwin/README
--- a/Admin/Windows/Cygwin/README	Fri Jul 25 18:41:53 2014 +0200
+++ b/Admin/Windows/Cygwin/README	Fri Jul 25 20:55:57 2014 +0200
@@ -12,5 +12,4 @@
   http://isabelle.in.tum.de/cygwin_2013-1  (Isabelle2013-1 and Isabelle2013-2)
   http://isabelle.in.tum.de/cygwin_2014  (Isabelle2014)
 
-* Quasi-component: "isabelle makedist_cygwin"
-
+* Quasi-component: "isabelle makedist_cygwin" (as administrator)
diff -r cca7e8788481 -r 66383b68d172 Admin/components/bundled-windows
--- a/Admin/components/bundled-windows	Fri Jul 25 18:41:53 2014 +0200
+++ b/Admin/components/bundled-windows	Fri Jul 25 20:55:57 2014 +0200
@@ -1,3 +1,3 @@
 #additional components to be bundled for release
-cygwin-20140626
+cygwin-20140725
 windows_app-20131201
diff -r cca7e8788481 -r 66383b68d172 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Jul 25 18:41:53 2014 +0200
+++ b/Admin/components/components.sha1	Fri Jul 25 20:55:57 2014 +0200
@@ -8,6 +8,7 @@
 db4dedae026981c5f001be283180abc1962b79ad  cygwin-20140521.tar.gz
 acbc4bf161ad21e96ecfe506266ccdbd288f8a6f  cygwin-20140530.tar.gz
 3dc680d9eb85276e8c3e9f6057dad0efe2d5aa41  cygwin-20140626.tar.gz
+8e562dfe57a2f894f9461f4addedb88afa108152  cygwin-20140725.tar.gz
 0fe549949a025d65d52d6deca30554de8fca3b6e  e-1.5.tar.gz
 2e293256a134eb8e5b1a283361b15eb812fbfbf1  e-1.6-1.tar.gz
 e1919e72416cbd7ac8de5455caba8901acc7b44d  e-1.6-2.tar.gz