Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/Cygwin/README
author wenzelm
Wed, 02 May 2012 22:05:59 +0200
changeset 47887 4e9c06c194d9
parent 47838 47d213b10fd7
child 47873 1636ff4c6243
permissions -rw-r--r--
back to post-release mode -- after fork point;

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.init!)
  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
isabelle