always apply precedingFoldLevels, avoid unclear shortcuts;
updated Console.jar 5.1.4;
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)
* Quasi-component: "isabelle makedist_cygwin" (as administrator)