author | steckerm |
Sat, 20 Sep 2014 10:44:24 +0200 | |
changeset 58407 | 111d801b5d5d |
parent 57688 | 66383b68d172 |
child 60015 | 3aceecdabed6 |
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) |
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 |
|
57688
66383b68d172
updated to cygwin-20140725, which is presumably close to Cygwin 1.7.31-1;
wenzelm
parents:
57027
diff
changeset
|
15 |
* Quasi-component: "isabelle makedist_cygwin" (as administrator) |