changeset 57688 | 66383b68d172 |
parent 57027 | 80ffda443738 |
child 60015 | 3aceecdabed6 |
--- 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)