1.1 --- a/Admin/Windows/Cygwin/README	Fri Jul 25 18:41:53 2014 +0200
     1.2 +++ b/Admin/Windows/Cygwin/README	Fri Jul 25 20:55:57 2014 +0200
     1.3 @@ -12,5 +12,4 @@
     1.4    http://isabelle.in.tum.de/cygwin_2013-1  (Isabelle2013-1 and Isabelle2013-2)
     1.5    http://isabelle.in.tum.de/cygwin_2014  (Isabelle2014)
     1.6  
     1.7 -* Quasi-component: "isabelle makedist_cygwin"
     1.8 -
     1.9 +* Quasi-component: "isabelle makedist_cygwin" (as administrator)

     2.1 --- a/Admin/components/bundled-windows	Fri Jul 25 18:41:53 2014 +0200
     2.2 +++ b/Admin/components/bundled-windows	Fri Jul 25 20:55:57 2014 +0200
     2.3 @@ -1,3 +1,3 @@
     2.4  #additional components to be bundled for release
     2.5 -cygwin-20140626
     2.6 +cygwin-20140725
     2.7  windows_app-20131201

     3.1 --- a/Admin/components/components.sha1	Fri Jul 25 18:41:53 2014 +0200
     3.2 +++ b/Admin/components/components.sha1	Fri Jul 25 20:55:57 2014 +0200
     3.3 @@ -8,6 +8,7 @@
     3.4  db4dedae026981c5f001be283180abc1962b79ad  cygwin-20140521.tar.gz
     3.5  acbc4bf161ad21e96ecfe506266ccdbd288f8a6f  cygwin-20140530.tar.gz
     3.6  3dc680d9eb85276e8c3e9f6057dad0efe2d5aa41  cygwin-20140626.tar.gz
     3.7 +8e562dfe57a2f894f9461f4addedb88afa108152  cygwin-20140725.tar.gz
     3.8  0fe549949a025d65d52d6deca30554de8fca3b6e  e-1.5.tar.gz
     3.9  2e293256a134eb8e5b1a283361b15eb812fbfbf1  e-1.6-1.tar.gz
    3.10  e1919e72416cbd7ac8de5455caba8901acc7b44d  e-1.6-2.tar.gz