isabelle: Admin/Cygwin/README@47d213b10fd7 (annotated)

41669 0820c4ebcad6 some notes on Cygwin; wenzelm parents: diff changeset	1	Notes on Cygwin
0820c4ebcad6 some notes on Cygwin; wenzelm parents: diff changeset	2	===============
0820c4ebcad6 some notes on Cygwin; wenzelm parents: diff changeset	3
0820c4ebcad6 some notes on Cygwin; wenzelm parents: diff changeset	4	* http://www.cygwin.com/
0820c4ebcad6 some notes on Cygwin; wenzelm parents: diff changeset	5
0820c4ebcad6 some notes on Cygwin; wenzelm parents: diff changeset	6	* http://www.cygwin.com/cygwin-ug-net/ntsec.html
0820c4ebcad6 some notes on Cygwin; wenzelm parents: diff changeset	7
0820c4ebcad6 some notes on Cygwin; wenzelm parents: diff changeset	8	* http://chinese-watercolor.com/LRP/printsrv/cygwin-sshd.html
0820c4ebcad6 some notes on Cygwin; wenzelm parents: diff changeset	9
47696 1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012; wenzelm parents: 41669 diff changeset	10	* Cygwin crash of Poly/ML 5.4.0, 5.4.1 with threads (and sockets?)
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012; wenzelm parents: 41669 diff changeset	11	http://cygwin.com/ml/cygwin/2012-04/msg00415.html
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012; wenzelm parents: 41669 diff changeset	12	http://cygwin.com/ml/cygwin/2012-04/msg00417.html
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012; wenzelm parents: 41669 diff changeset	13
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012; wenzelm parents: 41669 diff changeset	14	* Mirror with many old versions (not setup.init!)
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012; wenzelm parents: 41669 diff changeset	15	http://ftp.eq.uc.pt/software/pc/prog/cygwin
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012; wenzelm parents: 41669 diff changeset	16
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012; wenzelm parents: 41669 diff changeset	17	* Time machine for older versions:
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012; wenzelm parents: 41669 diff changeset	18	http://www.fruitbat.org/Cygwin/index.html#cygwincirca
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012; wenzelm parents: 41669 diff changeset	19
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012; wenzelm parents: 41669 diff changeset	20	e.g. ftp://www.fruitbat.org/pub/cygwin/circa/2012/02/04/034515/setup.ini
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012; wenzelm parents: 41669 diff changeset	21	for last 1.7.9 version
1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012; wenzelm parents: 41669 diff changeset	22
47838 47d213b10fd7 basic setup for self-extracting 7zip installer; wenzelm parents: 47696 diff changeset	23	* 7zip self-extracting installer: http://www.7zsfx.info

author	wenzelm
	Sun, 29 Apr 2012 23:08:27 +0200
changeset 47838	47d213b10fd7
parent 47696	1c9c498ed4f1
child 47873	1636ff4c6243
permissions	-rw-r--r--