changeset 63989 | b644954f0ded |
parent 61827 | 31054660f285 |
child 64312 | 1c7b77286ed0 |
--- a/Admin/Windows/Cygwin/README Sun Oct 02 12:32:33 2016 +0200 +++ b/Admin/Windows/Cygwin/README Sun Oct 02 12:50:46 2016 +0200 @@ -13,5 +13,6 @@ http://isabelle.in.tum.de/cygwin_2014 (Isabelle2014) http://isabelle.in.tum.de/cygwin_2015 (Isabelle2015) http://isabelle.in.tum.de/cygwin_2016 (Isabelle2016) + http://isabelle.in.tum.de/cygwin_2016 (Isabelle2016-1) * Quasi-component: "isabelle makedist_cygwin" (as administrator)