changeset 54639 | 5adc68deb322 |
parent 53663 | 62f42e9ec0f3 |
child 57027 | 80ffda443738 |
--- a/Admin/Windows/Cygwin/README Wed Nov 20 22:15:53 2013 +0100 +++ b/Admin/Windows/Cygwin/README Wed Nov 20 23:00:18 2013 +0100 @@ -9,7 +9,7 @@ * Local snapshots: http://isabelle.in.tum.de/cygwin (Isabelle2012) http://isabelle.in.tum.de/cygwin_2013 (Isabelle2013) - http://isabelle.in.tum.de/cygwin_2013-1 (Isabelle2013-1) + http://isabelle.in.tum.de/cygwin_2013-1 (Isabelle2013-1 and Isabelle2013-2) * Quasi-component: "isabelle makedist_cygwin"