author | wenzelm |
Thu, 10 Dec 2015 16:54:59 +0100 | |
changeset 61827 | 31054660f285 |
parent 60015 | 3aceecdabed6 |
child 63989 | b644954f0ded |
permissions | -rw-r--r-- |
50984 | 1 |
Cygwin |
2 |
====== |
|
41669 | 3 |
|
4 |
* http://www.cygwin.com/ |
|
5 |
||
47873 | 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 | 9 |
* Local snapshots: |
10 |
http://isabelle.in.tum.de/cygwin (Isabelle2012) |
|
11 |
http://isabelle.in.tum.de/cygwin_2013 (Isabelle2013) |
|
54639 | 12 |
http://isabelle.in.tum.de/cygwin_2013-1 (Isabelle2013-1 and Isabelle2013-2) |
57027 | 13 |
http://isabelle.in.tum.de/cygwin_2014 (Isabelle2014) |
60015 | 14 |
http://isabelle.in.tum.de/cygwin_2015 (Isabelle2015) |
61827
31054660f285
current Cygwin snapshot in preparation of release;
wenzelm
parents:
60015
diff
changeset
|
15 |
http://isabelle.in.tum.de/cygwin_2016 (Isabelle2016) |
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
|
16 |
|
57688
66383b68d172
updated to cygwin-20140725, which is presumably close to Cygwin 1.7.31-1;
wenzelm
parents:
57027
diff
changeset
|
17 |
* Quasi-component: "isabelle makedist_cygwin" (as administrator) |