Cygwin
======

* http://www.cygwin.com/

* Mirror with many old versions (not setup.ini)
  http://ftp.eq.uc.pt/software/pc/prog/cygwin

* 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 and Isabelle2013-2)
  http://isabelle.in.tum.de/cygwin_2014  (Isabelle2014)
  http://isabelle.in.tum.de/cygwin_2015  (Isabelle2015)

* Quasi-component: "isabelle makedist_cygwin" (as administrator)
