| author | wenzelm |
| Wed, 20 Nov 2013 23:00:18 +0100 | |
| changeset 54639 | 5adc68deb322 |
| parent 53663 | 62f42e9ec0f3 |
| child 57027 | 80ffda443738 |
| 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) |
|
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
|
13 |
|
| 50984 | 14 |
* 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
|
15 |