Admin/Windows/Cygwin/README
author wenzelm
Fri, 20 Jul 2012 16:47:17 +0200
changeset 48367 680d297ec71b
parent 48197 b13dd10ebc77
child 50984 7c07ade3c8e0
permissions -rw-r--r--
some basic Isabelle options;

Notes on Cygwin
===============

* http://www.cygwin.com/

* http://www.cygwin.com/cygwin-ug-net/ntsec.html

* http://chinese-watercolor.com/LRP/printsrv/cygwin-sshd.html

* Cygwin crash of Poly/ML 5.4.0, 5.4.1 with threads (and sockets?)
http://cygwin.com/ml/cygwin/2012-04/msg00415.html
http://cygwin.com/ml/cygwin/2012-04/msg00417.html

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

* Time machine for older versions:
  http://www.fruitbat.org/Cygwin/index.html#cygwincirca

  e.g. ftp://www.fruitbat.org/pub/cygwin/circa/2012/02/04/034515/setup.ini
  for last 1.7.9 version

* 7zip self-extracting installer: http://www.7zsfx.info