changeset 61827 | 31054660f285 |
parent 60015 | 3aceecdabed6 |
child 63989 | b644954f0ded |
--- a/Admin/Windows/Cygwin/README Thu Dec 10 16:31:00 2015 +0100 +++ b/Admin/Windows/Cygwin/README Thu Dec 10 16:54:59 2015 +0100 @@ -12,5 +12,6 @@ http://isabelle.in.tum.de/cygwin_2013-1 (Isabelle2013-1 and Isabelle2013-2) http://isabelle.in.tum.de/cygwin_2014 (Isabelle2014) http://isabelle.in.tum.de/cygwin_2015 (Isabelle2015) + http://isabelle.in.tum.de/cygwin_2016 (Isabelle2016) * Quasi-component: "isabelle makedist_cygwin" (as administrator)