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/Windows/Cygwin/README
author wenzelm
Fri, 17 Aug 2012 11:23:57 +0200
changeset 48835 574042d14fd9
parent 48197 b13dd10ebc77
child 50984 7c07ade3c8e0
permissions -rw-r--r--
tuned;

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
isabelle