eliminated spurious Unicode, which is in conflict with Isabelle symbol interpretation;
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)
http://isabelle.in.tum.de/cygwin_2016 (Isabelle2016)
* Quasi-component: "isabelle makedist_cygwin" (as administrator)