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)