isabelle: Admin/Windows/Cygwin/README@cb154917a496 (annotated)

50984 7c07ade3c8e0 misc cleanup; wenzelm parents: 48197 diff changeset	1	Cygwin
7c07ade3c8e0 misc cleanup; wenzelm parents: 48197 diff changeset	2	======
41669 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
47873 1636ff4c6243 init Cygwin after unpacking; wenzelm parents: 47838 diff changeset	6	* Mirror with many old versions (not setup.ini)
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	7	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	8
50984 7c07ade3c8e0 misc cleanup; wenzelm parents: 48197 diff changeset	9	* Local snapshots:
7c07ade3c8e0 misc cleanup; wenzelm parents: 48197 diff changeset	10	http://isabelle.in.tum.de/cygwin (Isabelle2012)
7c07ade3c8e0 misc cleanup; wenzelm parents: 48197 diff changeset	11	http://isabelle.in.tum.de/cygwin_2013 (Isabelle2013)
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	12
50984 7c07ade3c8e0 misc cleanup; wenzelm parents: 48197 diff changeset	13	* Quasi-component: "isabelle makedist_cygwin"
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	14

author	haftmann
	Wed, 24 Apr 2013 11:32:54 +0200
changeset 51750	cb154917a496
parent 50984	7c07ade3c8e0
child 53663	62f42e9ec0f3
permissions	-rw-r--r--